Home
last modified time | relevance | path

Searched refs:ExpectedFound (Results 1 – 15 of 15) sorted by relevance

/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/ty/
H A Derror.rs17 pub struct ExpectedFound<T> { struct
22 impl<T> ExpectedFound<T> { argument
39 AbiMismatch(ExpectedFound<abi::Abi>),
42 TupleSize(ExpectedFound<usize>),
43 FixedArraySize(ExpectedFound<u64>),
52 Sorts(ExpectedFound<Ty<'tcx>>),
55 FloatMismatch(ExpectedFound<ty::FloatTy>),
56 Traits(ExpectedFound<DefId>),
57 VariadicMismatch(ExpectedFound<bool>),
64 ProjectionMismatched(ExpectedFound<DefId>),
[all …]
H A Drelate.rs8 use crate::ty::error::{ExpectedFound, TypeError};
848 pub fn expected_found<R, T>(relation: &mut R, a: T, b: T) -> ExpectedFound<T> in expected_found()
855 pub fn expected_found_bool<T>(a_is_expected: bool, a: T, b: T) -> ExpectedFound<T> { in expected_found_bool()
857 ExpectedFound { expected: a, found: b } in expected_found_bool()
859 ExpectedFound { expected: b, found: a } in expected_found_bool()
H A Dstructural_impls.rs579 impl<'tcx, T: Lift<'tcx>> Lift<'tcx> for ty::error::ExpectedFound<T> { implementation
580 type Lifted = ty::error::ExpectedFound<T::Lifted>;
582 let ty::error::ExpectedFound { expected, found } = self; in lift_to_tcx()
584 tcx.lift(found).map(|found| ty::error::ExpectedFound { expected, found }) in lift_to_tcx()
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_infer/src/infer/
H A Dat.rs261 TypeTrace { cause: cause.clone(), values: Types(ExpectedFound::new(a_is_expected, a, b)) } in to_trace()
273 TypeTrace { cause: cause.clone(), values: Regions(ExpectedFound::new(a_is_expected, a, b)) } in to_trace()
285 TypeTrace { cause: cause.clone(), values: Consts(ExpectedFound::new(a_is_expected, a, b)) } in to_trace()
299 values: TraitRefs(ExpectedFound::new(a_is_expected, a, b)), in to_trace()
314 values: PolyTraitRefs(ExpectedFound::new(a_is_expected, a, b)), in to_trace()
331 values: Types(ExpectedFound::new(a_is_expected, a_ty, b_ty)), in to_trace()
H A Dmod.rs26 use rustc_middle::ty::error::{ExpectedFound, TypeError};
366 Types(ExpectedFound<Ty<'tcx>>),
367 Regions(ExpectedFound<ty::Region<'tcx>>),
368 Consts(ExpectedFound<&'tcx ty::Const<'tcx>>),
369 TraitRefs(ExpectedFound<ty::TraitRef<'tcx>>),
370 PolyTraitRefs(ExpectedFound<ty::PolyTraitRef<'tcx>>),
1779 TypeTrace { cause: cause.clone(), values: Types(ExpectedFound::new(a_is_expected, a, b)) } in types()
1788 TypeTrace { cause: cause.clone(), values: Consts(ExpectedFound::new(a_is_expected, a, b)) } in consts()
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_infer/src/traits/
H A Dmod.rs12 use rustc_middle::ty::error::{ExpectedFound, TypeError};
93 …CodeSubtypeError(ExpectedFound<Ty<'tcx>>, TypeError<'tcx>), // always comes from a SubtypePredicate
94 CodeConstEquateError(ExpectedFound<&'tcx Const<'tcx>>, TypeError<'tcx>),
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_trait_selection/src/traits/
H A Dfulfill.rs11 use rustc_middle::ty::error::{ExpectedFound, TypeError};
518 ExpectedFound::new(subtype.a_is_expected, subtype.a, subtype.b); in progress_changed_obligations()
543 let expected_found = ExpectedFound::new(false, coerce.a, coerce.b); in progress_changed_obligations()
632 ExpectedFound::new(true, c1, c2), in progress_changed_obligations()
655 let expected_found = ExpectedFound::new(true, c1, c2); in progress_changed_obligations()
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_infer/src/infer/error_reporting/nice_region_error/
H A Dplaceholder_error.rs9 use rustc_middle::ty::error::ExpectedFound;
153 ValuePairs::TraitRefs(ExpectedFound { expected, found }) in try_report_trait_placeholder_mismatch()
158 ValuePairs::PolyTraitRefs(ExpectedFound { expected, found }) in try_report_trait_placeholder_mismatch()
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_infer/src/infer/error_reporting/
H A Dmod.rs603 exp_found: Option<ty::error::ExpectedFound<Ty<'tcx>>>, in note_error_origin()
613 if let Some(ty::error::ExpectedFound { found, .. }) = exp_found { in note_error_origin()
669 Some(ty::error::ExpectedFound { expected, .. }) => expected, in note_error_origin()
1575 Variable(ty::error::ExpectedFound<Ty<'a>>), in note_type_err()
1788 exp_found: &ty::error::ExpectedFound<Ty<'tcx>>, in suggest_await_on_expect_found()
1876 exp_found: &ty::error::ExpectedFound<Ty<'tcx>>, in suggest_accessing_field_where_appropriate()
1925 exp_found: &ty::error::ExpectedFound<Ty<'tcx>>, in suggest_as_ref_where_appropriate()
2064 let pretty_exp_found = ty::error::ExpectedFound { in values_str()
2076 let pretty_exp_found = ty::error::ExpectedFound { in values_str()
2092 exp_found: ty::error::ExpectedFound<Ty<'tcx>>, in expected_found_str_ty()
[all …]
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_typeck/src/check/
H A Dcompare_method.rs11 use rustc_middle::ty::error::{ExpectedFound, TypeError};
381 Some(infer::ValuePairs::Types(ExpectedFound { in compare_predicate_entailment()
486 TypeError::ArgumentSorts(ExpectedFound { .. }, i) => { in extract_spans_for_error_reporting()
1080 Some(infer::ValuePairs::Types(ExpectedFound { in compare_const_impl()
H A Ddemand.rs13 use rustc_middle::ty::error::{ExpectedFound, TypeError};
175 TypeError::Sorts(ExpectedFound { expected, .. }), in annotate_expected_due_to_let_ty()
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_trait_selection/src/traits/error_reporting/
H A Dmod.rs23 use rustc_middle::ty::error::ExpectedFound;
1319 values = Some(infer::ValuePairs::Types(ExpectedFound::new( in report_projection_error()
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_resolve/src/
H A Ddiagnostics.rs633 VisResolutionError::ExpectedFound(span, path_str, res) => { in report_vis_error()
H A Dbuild_reduced_graph.rs289 Err(VisResolutionError::ExpectedFound( in resolve_visibility_speculative()
H A Dlib.rs269 ExpectedFound(Span, String, Res), enumerator