Searched defs:QueryResponse (Results 1 – 9 of 9) sorted by relevance
| /third_party/rust/rust/compiler/rustc_trait_selection/src/traits/query/type_op/ |
| D | outlives.rs | 21 type QueryResponse = DropckOutlivesResult<'tcx>; typedef
26 ) -> Option<Self::QueryResponse> { in try_fast_path()
33 ) -> Result<CanonicalQueryResponse<'tcx, Self::QueryResponse>, NoSolution> { in perform_query()
58 ) -> Result<Self::QueryResponse, NoSolution> { in perform_locally_in_new_solver()
|
| D | eq.rs | 10 type QueryResponse = (); typedef
15 ) -> Option<Self::QueryResponse> { in try_fast_path()
29 ) -> Result<Self::QueryResponse, NoSolution> { in perform_locally_in_new_solver()
|
| D | prove_predicate.rs | 11 type QueryResponse = (); typedef
16 ) -> Option<Self::QueryResponse> { in try_fast_path()
46 ) -> Result<Self::QueryResponse, NoSolution> { in perform_locally_in_new_solver()
|
| D | implied_outlives_bounds.rs | 22 type QueryResponse = Vec<OutlivesBound<'tcx>>; typedef
27 ) -> Option<Self::QueryResponse> { in try_fast_path()
41 ) -> Result<CanonicalQueryResponse<'tcx, Self::QueryResponse>, NoSolution> { in perform_query()
56 ) -> Result<Self::QueryResponse, NoSolution> { in perform_locally_in_new_solver()
|
| D | mod.rs | 65 type QueryResponse: TypeFoldable<TyCtxt<'tcx>>; typedef
73 ) -> Option<Self::QueryResponse>; in try_fast_path()
84 ) -> Result<CanonicalQueryResponse<'tcx, Self::QueryResponse>, NoSolution>; in perform_query()
95 ) -> Result<Self::QueryResponse, NoSolution>; in perform_locally_in_new_solver()
103 Self::QueryResponse, in fully_perform_into()
|
| D | subtype.rs | 10 type QueryResponse = (); typedef
26 ) -> Result<Self::QueryResponse, NoSolution> { in perform_locally_in_new_solver()
|
| D | ascribe_user_type.rs | 13 type QueryResponse = (); typedef
18 ) -> Option<Self::QueryResponse> { in try_fast_path()
32 ) -> Result<Self::QueryResponse, NoSolution> { in perform_locally_in_new_solver()
|
| D | normalize.rs | 15 type QueryResponse = T; typedef
24 ) -> Result<CanonicalQueryResponse<'tcx, Self::QueryResponse>, NoSolution> { in perform_query()
31 ) -> Result<Self::QueryResponse, NoSolution> { in perform_locally_in_new_solver()
|
| /third_party/rust/rust/compiler/rustc_middle/src/infer/ |
| D | canonical.rs | 299 pub struct QueryResponse<'tcx, R> { struct
300 pub var_values: CanonicalVarValues<'tcx>,
301 pub region_constraints: QueryRegionConstraints<'tcx>,
302 pub certainty: Certainty,
327 pub type CanonicalQueryResponse<'tcx, T> = &'tcx Canonical<'tcx, QueryResponse<'tcx, T>>; argument
360 impl<'tcx, R> QueryResponse<'tcx, R> { implementation
|