pub fn type_is_scalar(ty: t) -> bool {
    match get(ty).sty {
      ty_nil | ty_bool | ty_char | ty_int(_) | ty_float(_) | ty_uint(_) |
      ty_infer(IntVar(_)) | ty_infer(FloatVar(_)) | ty_type |
      ty_bare_fn(..) | ty_ptr(_) => true,
      _ => false
    }
}
/*
 A scalar type is one that denotes an atomic datum, with no sub-components.
 (A ty_ptr is scalar because it represents a non-managed pointer, so its
 contents are abstract to rustc.)
*/
A scalar type is one that denotes an atomic datum, with no sub-components.
(A ty_ptr is scalar because it represents a non-managed pointer, so its
contents are abstract to rustc.)
A scalar type is one that denotes an atomic datum with no sub - components . ( A ty_ptr is scalar because it represents a non - managed pointer so its contents are abstract to rustc . )
pub fn type_is_scalar(ty: t) -> bool {
    match get(ty).sty {
      ty_nil | ty_bool | ty_char | ty_int(_) | ty_float(_) | ty_uint(_) |
      ty_infer(IntVar(_)) | ty_infer(FloatVar(_)) | ty_type |
      ty_bare_fn(..) | ty_ptr(_) => true,
      _ => false
    }
}
pub fn type_is_scalar ( ty : t ) -> bool { match get ( ty ) . sty { ty_nil | ty_bool | ty_char | ty_int ( _ ) | ty_float ( _ ) | ty_uint ( _ ) | ty_infer ( IntVar ( _ ) ) | ty_infer ( FloatVar ( _ ) ) | ty_type | ty_bare_fn ( .. ) | ty_ptr ( _ ) => true , _ => false } }
A scalar type is one that denotes an atomic datum, with no sub-components.
A scalar type is one that denotes an atomic datum with no sub - components .
ty
t
ty
t