about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/flags.rs
AgeCommit message (Collapse)AuthorLines
2021-08-26reviewlcnr-0/+11
2021-08-26shrink `ty::PredicateKind` againlcnr-1/+1
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-2/+2
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-4/+14
2021-08-26make unevaluated const substs optionallcnr-1/+2
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+4
2021-08-13move Constness into TraitPredicateDeadbeef-1/+1
2021-05-01Make `TypeFoldable::is_global()` false when fresh tys/consts are presentAaron Hill-2/+4
This ensures that `ParamEnv::and` preserves the original `caller_bounds` when we have a value containing fresh tys/consts. This ensures that when we cache a `SelectionCandidate`, the cache key (a `ParamEnvAnd`) contains all of the information that influenced the computation of our result (e.g. we may end up choosing a `ParamCandidate`)
2021-04-28Add HAS_RE_LATE_BOUND if there are bound varsJack Huey-0/+4
2021-03-31Add tcx lifetime to BinderJack Huey-3/+3
2021-03-20extract `ConstKind::Unevaluated` into a structlcnr-4/+6
2021-01-16Review changesJack Huey-14/+14
2021-01-16CleanupJack Huey-3/+3
2021-01-16Remove PredicateKindJack Huey-3/+2
2021-01-16Intermediate formatting and suchJack Huey-7/+2
2021-01-16Remove PredicateKind::AtomJack Huey-1/+0
2020-12-11Move binder for dyn to each list itemJack Huey-12/+8
2020-09-18guard against `skip_binder` errors during FlagComputationBastian Kauschke-34/+32
2020-09-18fix flag computation for `ExistentialPredicate::Projection`Bastian Kauschke-3/+1
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-0/+3
2020-09-04ty.flags -> ty.flags()LeSeulArtichaut-1/+1
2020-08-30mv compiler to compiler/mark-0/+330
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 03:57:43 +0000