pub enum type_err<'tcx> {
terr_mismatch,
terr_unsafety_mismatch(expected_found<Unsafety>),
terr_abi_mismatch(expected_found<Abi>),
terr_mutability,
terr_box_mutability,
terr_ptr_mutability,
terr_ref_mutability,
terr_vec_mutability,
terr_tuple_size(expected_found<usize>),
terr_fixed_array_size(expected_found<usize>),
terr_ty_param_size(expected_found<usize>),
terr_arg_count,
terr_regions_does_not_outlive(Region, Region),
terr_regions_not_same(Region, Region),
terr_regions_no_overlap(Region, Region),
terr_regions_insufficiently_polymorphic(BoundRegion, Region),
terr_regions_overly_polymorphic(BoundRegion, Region),
terr_sorts(expected_found<&'tcx TyS<'tcx>>),
terr_integer_as_char,
terr_int_mismatch(expected_found<IntVarValue>),
terr_float_mismatch(expected_found<FloatTy>),
terr_traits(expected_found<DefId>),
terr_builtin_bounds(expected_found<EnumSet<BuiltinBound>>),
terr_variadic_mismatch(expected_found<bool>),
terr_cyclic_ty,
terr_convergence_mismatch(expected_found<bool>),
terr_projection_name_mismatched(expected_found<Name>),
terr_projection_bounds_length(expected_found<usize>),
}
Variants
terr_mismatch | |
terr_unsafety_mismatch | |
terr_abi_mismatch | |
terr_mutability | |
terr_box_mutability | |
terr_ptr_mutability | |
terr_ref_mutability | |
terr_vec_mutability | |
terr_tuple_size | |
terr_fixed_array_size | |
terr_ty_param_size | |
terr_arg_count | |
terr_regions_does_not_outlive | |
terr_regions_not_same | |
terr_regions_no_overlap | |
terr_regions_insufficiently_polymorphic | |
terr_regions_overly_polymorphic | |
terr_sorts | |
terr_integer_as_char | |
terr_int_mismatch | |
terr_float_mismatch | |
terr_traits | |
terr_builtin_bounds | |
terr_variadic_mismatch | |
terr_cyclic_ty | |
terr_convergence_mismatch | |
terr_projection_name_mismatched | |
terr_projection_bounds_length | |
Trait Implementations
impl<'tcx> Repr<'tcx> for type_err<'tcx>
Derived Implementations