about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/visit.rs
AgeCommit message (Expand)AuthorLines
2023-11-22Cache flags for ty::ConstMichael Goulet-14/+11
2023-11-13update type flagslcnr-7/+7
2023-11-13rename `ReLateBound` to `ReBound`lcnr-3/+3
2023-11-04Make sure that predicates with unmentioned bound vars are still considered gl...Michael Goulet-9/+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-09-14Properly consider binder vars in HasTypeFlagsVisitorMichael Goulet-0/+24
2023-09-13Comments to clarify the working of `HasTypeFlagsVisitor`.Nicholas Nethercote-8/+8
2023-08-03Placeholder nitMichael Goulet-6/+2
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-0/+3
2023-04-27rename `needs_subst` to `has_param`Boxy-3/+3
2023-04-27rename `needs_infer` to `has_infer`Boxy-3/+3
2023-04-17Assure everyone that `has_type_flags` is fastMaybe Waffle-0/+8
2023-04-16Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote-1/+1
2023-04-10Support safe transmute in new solverMichael Goulet-0/+3
2023-02-22Remove type-traversal trait aliasesAlan Egerton-25/+19
2023-02-13Move folding and visiting traits into type libraryAlan Egerton-118/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-27/+39
2023-02-13Move TypeVisitableExt from ir moduleAlan Egerton-130/+127
2023-02-13Split TypeVisitableExt from TypeVisitableAlan Egerton-1/+5
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-7/+9
2023-02-13Move folding & visiting traits to ir submodulesAlan Egerton-162/+176
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+3
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-16/+16
2023-01-08Add type flags support for Ty and Const late-bound regionsMichael Goulet-0/+8
2022-12-20tracing: make flag checking less noisyOli Scherer-14/+4
2022-12-13Combine identical alias armsMichael Goulet-1/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-1/+1
2022-11-25Add documentation for `has_escaping_bound_vars`Deadbeef-1/+7
2022-11-24make `error_reported` check for delayed bugsBoxy-2/+2
2022-11-08deprecate unchecked_claim_error_was_emitted in error_reportedyukang-1/+5
2022-11-03change error_reported to use Result instead of an optionyukang-3/+3
2022-10-19stop folding `UnevaluatedConst`lcnr-22/+0
2022-10-17mir constants: type traversing bye byelcnr-25/+0
2022-10-14more dupe word typosRageking8-2/+1
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-4/+4
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-4/+16
2022-09-22introduce mir::Unevaluatedb-naber-2/+16
2022-09-08Opaque types' generic params do not imply anything about their hidden type's ...Oli Scherer-1/+1
2022-09-01tracing::instrument cleanupOli Scherer-6/+6
2022-07-05Split TypeVisitable from TypeFoldableAlan Egerton-0/+745
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 23:15:51 +0000