summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2023-05-18Rollup merge of #111695 - fmease:dont-lump-together-alias-tys, r=compiler-errorsDylan DPC-1/+4
2023-05-17Exclude inherent projections from some alias ty matchesLeón Orell Valerian Liehr-1/+4
2023-05-16Avoid `&format("...")` calls in error message code.Nicholas Nethercote-1/+1
2023-05-04IAT: Proper WF computationLeón Orell Valerian Liehr-23/+43
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-2/+141
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-7/+8
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-7/+5
2023-04-26Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle-2/+3
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-5/+7
2023-04-23Don't create projection ty for const projectionMichael Goulet-8/+23
2023-04-20Remove WithOptconstParam.Camille GILLOT-3/+2
2023-04-18add EarlyBinder to return type of collect_return_position_impl_trait_in_trait...Kyle Matsuda-5/+4
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-3/+3
2023-03-17Rollup merge of #109198 - compiler-errors:new-rpitit-default-body, r=spastorinoMatthias Krüger-2/+2
2023-03-16Rollup merge of #109171 - oli-obk:normalization_cleanup, r=compiler-errorsMatthias Krüger-10/+12
2023-03-15Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fnSantiago Pastorino-2/+2
2023-03-15always make `define_opaque_types` explicitlcnr-7/+12
2023-03-15Exhaustively match over all alias kindsOli Scherer-10/+12
2023-03-08Auto merge of #108121 - aliemjay:resolve-var-region, r=lcnrbors-2/+2
2023-03-05Rollup merge of #108746 - compiler-errors:rpitit-dont-project-default-w-no-va...Matthias Krüger-1/+2
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-1/+0
2023-03-05resolve to universal regions when possibleAli MJ Al-Nasrawy-2/+2
2023-03-04Don't project to RPITIT that has no default valueMichael Goulet-1/+2
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-1/+1
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+0
2023-02-28Descriptive error when users try to combine RPITIT/AFIT with specializationMichael Goulet-20/+4
2023-02-27Rollup merge of #108319 - compiler-errors:dont-project-to-specializable-rpiti...Matthias Krüger-5/+22
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-23Don't project specializable RPITIT projectionMichael Goulet-5/+22
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-7/+4
2023-02-22Use ty_error_with_guaranteed in many more placesMichael Goulet-9/+14
2023-02-22Remove type-traversal trait aliasesAlan Egerton-15/+23
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-1/+6
2023-02-18Remove default trait RPITIT candidatesMichael Goulet-33/+3
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-1/+1
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-3/+3
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-2/+2
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-3/+3
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-2/+2
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-9/+9
2023-02-13Make folding traits generic over the InternerAlan Egerton-3/+3
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-2/+2
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-2/+2
2023-01-30Track bound types like bound regionsMichael Goulet-1/+1
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+2
2023-01-17Rollup merge of #106970 - kylematsuda:earlybinder-item-bounds, r=lcnrMatthias Krüger-1/+1
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-2/+2