Post-LRB it doesn't make a difference whether or not inputs to intrinsics have non-null-types or not because no barriers are feeding directly into intrinsics. We can remove the whole check.