about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/visit.rs
AgeCommit message (Expand)AuthorLines
2025-06-13TypeVisiting binders no longer requires TypeFolding its interiorMichael Goulet-2/+2
2025-05-07Require T: TypeFoldable in Binder<T> visitMichael Goulet-2/+2
2025-04-24Remove `weak` alias terminologyBoxy-3/+3
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-9/+3
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-3/+3
2025-03-15Fold visit into tyMichael Goulet-2/+3
2025-03-15Squash fold into tyMichael Goulet-1/+1
2025-02-19Make fewer crates depend on rustc_ast_irMichael Goulet-1/+1
2024-10-02Handle `rustc-hir-analysis` cases of `rustc::potential_query_instability` lintismailarilik-5/+5
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+3
2024-05-21Uplift binderMichael Goulet-98/+0
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-27/+19
2024-02-20Expand weak alias types before collecting constrained and referenced late bou...León Orell Valerian Liehr-8/+10
2024-02-20Introduce expand_weak_alias_tysLeón Orell Valerian Liehr-12/+13
2024-02-13Uplift TypeVisitableExt into rustc_type_irMichael Goulet-310/+1
2024-02-12Tweak delayed bug mentions.Nicholas Nethercote-1/+1
2024-01-22Tweak error counting.Nicholas Nethercote-2/+5
2023-12-24Remove more `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 16:37:05 +0000