about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
AgeCommit message (Expand)AuthorLines
2023-07-25Restore tuple unsizing feature gateMichael Goulet-9/+16
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-120/+119
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-5/+2
2023-07-07Auto merge of #113245 - lukas-code:unsizing-sanity-check, r=the8472bors-6/+1
2023-07-06Separate select calls that don't need a binderMichael Goulet-2/+2
2023-07-06TraitObligation -> PolyTraitObligationMichael Goulet-20/+20
2023-07-06add helper methods for accessing struct tailLukas Markeffsky-6/+1
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-5/+6
2023-07-05Add some extra information to opaque type cycle errorsOli Scherer-4/+4
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-5/+4
2023-07-03Remove chalk from the compilerMichael Goulet-8/+4
2023-06-28Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnrDylan DPC-13/+7
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-2/+4
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-2/+2
2023-06-20yeet upcast_trait_def_id from ImplSourceObjectDataMichael Goulet-5/+1
2023-06-20yeet ImplSource::TraitAlias tooMichael Goulet-8/+6
2023-06-17Remove even more redundant builtin candidatesMichael Goulet-4/+4
2023-06-17Simplify even more candidatesMichael Goulet-11/+8
2023-06-17Simplify an ObjectData fieldMichael Goulet-2/+6
2023-06-17Simplify some impl source candidatesMichael Goulet-13/+13
2023-06-17Remove some ImplSource candidatesMichael Goulet-16/+14
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+1
2023-06-14Auto merge of #110662 - bryangarza:safe-transmute-reference-types, r=compiler...bors-10/+64
2023-06-12Safe Transmute: Refactor error handling and Answer typeBryan Garza-21/+14
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+2
2023-05-28Make EarlyBinder's inner value private; and fix all of the resulting errorsKyle Matsuda-2/+2
2023-05-24Safe Transmute: Update definition of Condition typeBryan Garza-12/+14
2023-05-24Safe Transmute: Check mutability before creating dst -> src obligationBryan Garza-4/+13
2023-05-24Safe Transmute: Fix propagation of errorsBryan Garza-1/+1
2023-05-24Safe Transmute: Change Answer type to ResultBryan Garza-16/+15
2023-05-24Safe Transmute: Enable handling references, including recursive typesBryan Garza-5/+56
2023-05-19update recursion depth in `confirm_candidate`lcnr-0/+6
2023-05-17Exclude inherent projections from some alias ty matchesLeón Orell Valerian Liehr-1/+4
2023-05-12Note base types of coercionMichael Goulet-24/+12
2023-05-09Rename `expected_trait_ref` to `self_ty_trait_ref`Nilstrieb-2/+2
2023-05-09Shrink `SelectionError` a lotNilstrieb-1/+8
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-1/+1
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-6/+1
2023-04-26Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle-5/+7
2023-04-26Remove some more useless `ty::Binder::dummy` callsMaybe Waffle-5/+2
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-15/+29
2023-04-16Erase regions when confirming transmutability candidateMichael Goulet-23/+25
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-0/+1
2023-03-21remove some trait solver helperslcnr-28/+16
2023-03-15always make `define_opaque_types` explicitlcnr-11/+10
2023-03-06Do not ICE when we have fn pointer Fn obligations with bound vars in the self...Michael Goulet-3/+11
2023-02-24Rename many interner functions.Nicholas Nethercote-6/+7
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-0/+2
2023-02-17Avoid double-interning some `BoundVariableKind`s.Nicholas Nethercote-2/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 17:58:46 +0000