summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/wf.rs
AgeCommit message (Expand)AuthorLines
2023-05-04IAT: Proper WF computationLeón Orell Valerian Liehr-31/+56
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-0/+3
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+2
2023-05-02Make negative trait bounds work with the old trait solverMichael Goulet-0/+15
2023-04-26Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle-1/+1
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+2
2023-04-20Remove WithOptconstParam.Camille GILLOT-1/+1
2023-04-19small type system cleanuplcnr-20/+11
2023-04-06Make elaborator genericMichael Goulet-2/+2
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-3/+3
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-3/+3
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+5
2023-02-13Pre-intern some commonly used type variables.Nicholas Nethercote-1/+1
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+4
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+1
2023-01-25Don't normalize obligations in WF goal for the new solverMichael Goulet-2/+30
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-5/+5
2023-01-19Encode whether foreign opaques are TAITs or notMichael Goulet-1/+1
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2023-01-15Make InstantiatedPredicates impl IntoIteratorMichael Goulet-1/+1
2023-01-11Change `src/test` to `tests` in source files, fix tidy and testsAlbert Larsan-2/+2
2022-12-15Rollup merge of #105694 - ouz-a:issue_105689, r=estebankMatthias Krüger-13/+15
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-14skip if val has ecaping bound varsouz-a-13/+15
2022-12-13Combine projection and opaque into aliasMichael Goulet-4/+4
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-3/+3
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-4/+4
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-3/+3
2022-12-05support `Expr` in `is_const_evaluatable` and `compute`Boxy-2/+17
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-0/+5
2022-11-25add FIXME for things that I couldn't find ways to triggerBoxy-3/+4
2022-11-25Add empty ConstKind::Abstractkadmin-0/+4
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-12/+15
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-0/+2
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-1/+1
2022-11-21Add helper to create the trait ref for a lang itemOli Scherer-2/+1
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-5/+2
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-4/+5
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+2
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-2/+2
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-17/+27
2022-11-09Use `nominal_obligations_without_const` in wf for FnDefDeadbeef-1/+1
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-3/+5
2022-10-25Move a wf-check into the site where the value is instantiatedOli Scherer-26/+0
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-11/+6
2022-10-10Rollup merge of #102829 - compiler-errors:rename-impl-item-kind, r=TaKO8KiYuki Okushi-1/+1
2022-10-09ImplItemKind::TyAlias => ImplItemKind::TypeMichael Goulet-1/+1
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-7/+7
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-07 06:39:24 +0000