about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/flags.rs
AgeCommit message (Expand)AuthorLines
2023-12-07add unused `NormalizesTo` predicatelcnr-0/+4
2023-11-24Auto merge of #118189 - compiler-errors:cache-flags-for-const, r=nnethercotebors-5/+10
2023-11-22Cache flags for ty::ConstMichael Goulet-5/+10
2023-11-21Remove ClosureKind predicate kindMichael Goulet-3/+0
2023-11-13update type flagslcnr-2/+2
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-11-04Make sure that predicates with unmentioned bound vars are still considered gl...Michael Goulet-21/+5
2023-10-26Replace type flag HAS_TY_GENERATOR with HAS_TY_COROUTINELeón Orell Valerian Liehr-1/+1
2023-10-20s/generator/coroutine/Oli Scherer-1/+1
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-5/+1
2023-09-14Properly consider binder vars in HasTypeFlagsVisitorMichael Goulet-15/+21
2023-09-10Implement fallback for effect paramDeadbeef-1/+3
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-31/+31
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-3/+0
2023-06-26TypeWellFormedInEnvMichael Goulet-1/+1
2023-06-19s/Clause/ClauseKindMichael Goulet-7/+10
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+1
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-7/+7
2023-04-19small type system cleanuplcnr-4/+4
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-1/+1
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-1/+1
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+4
2023-02-15simplify some refsMatthias Krüger-1/+1
2023-02-10add `AliasEq` to `PredicateKind`Boxy-4/+12
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+10
2023-01-08Add type flags support for Ty and Const late-bound regionsMichael Goulet-2/+14
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-1/+1
2022-12-18don't restuct references just to reborrowMatthias Krüger-2/+2
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-2/+2
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-1/+1
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-0/+20
2022-11-25Add empty ConstKind::Abstractkadmin-0/+20
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-4/+10
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+1
2022-10-19stop folding `UnevaluatedConst`lcnr-12/+4
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-1/+1
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-2/+2
2022-09-22introduce mir::Unevaluatedb-naber-1/+1
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-1/+1
2022-09-05Pack `Term` in the same way as `GenericArg`.Nicholas Nethercote-7/+7
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-2/+2
2022-02-15Overhaul `Const`.Nicholas Nethercote-4/+4
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 04:13:32 +0000