about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/flags.rs
AgeCommit message (Expand)AuthorLines
2025-04-12Move FlagComputation, PatternKind, and TypeWalker to rustc_type_irjackh726-359/+0
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-03-23Remove STILL_FURTHER_SPECIALIZABLE special casingMichael Goulet-74/+15
2025-03-23Remove HAS_TY_COROUTINEMichael Goulet-1/+0
2025-03-23Visit coroutine kind ty in FlagComputationMichael Goulet-0/+1
2025-03-06Remove the `Option` part of range ends in the HIROli Scherer-1/+1
2025-03-06Avoid having to handle an `Option` in the type systemOli Scherer-6/+2
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+6
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-1/+1
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+6
2024-10-24Remove associated type based effects logicMichael Goulet-3/+1
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-1/+1
2024-08-12Streamline some inputs/output traversals.Nicholas Nethercote-2/+1
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-3/+3
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+2
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-1/+1
2024-06-05Basic removal of `Ty` from places (boring)Boxy-3/+2
2024-06-04Downsize `ty::Expr`Boxy-20/+1
2024-05-13split out AliasTy -> AliasTermMichael Goulet-3/+7
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+14
2024-04-04cache type info for ParamEnvLukas Markeffsky-0/+9
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-2/+2
2024-02-20Introduce expand_weak_alias_tysLeón Orell Valerian Liehr-2/+3
2024-02-06More comments, final tweaksMichael Goulet-3/+3
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+16
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 10:33:05 +0000