Detect intrinsic hookup failure during typechecking