Module bounds
Various traits used to restrict intrinsics to not-completely-wrong types.
Traits
- BuiltinDeref Types with a built-in dereference operator in runtime MIR, aka references and raw pointers.
- ChangePointee
- FloatPrimitive Built-in float types (f16, f32, f64 and f128).