Noting and enforcing that GC intrinsics are valid only within a