Merge "Move kernel/static incompatibility check into AST validator."