about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/fast_reject.rs
AgeCommit message (Expand)AuthorLines
2024-09-02Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidatesBryanskiy-1/+9
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
2024-06-30Uplift fast rejection to new solverMichael Goulet-364/+4
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-2/+2
2024-05-17Rename Unsafe to SafetySantiago Pastorino-2/+2
2024-05-03Tweak `consts_may_unify`.Nicholas Nethercote-8/+4
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-04-25Remove special-casing for SimplifiedType for next solverMichael Goulet-33/+5
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+6
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-3/+5
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-2/+5
2024-01-11Register even erroneous implsOli Scherer-1/+3
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-14update use of feature flagslcnr-1/+1
2023-11-13args~~_ref~~_may_unifylcnr-4/+4
2023-10-20s/Generator/Coroutine/Oli Scherer-10/+10
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-9/+4
2023-07-20add FIXMElcnr-0/+3
2023-07-20XSimplifiedType to SimplifiedType::Xlcnr-55/+57
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-9/+9
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-03-31Auto merge of #109750 - compiler-errors:deep-reject-less-permissive-num-var, ...bors-0/+4
2023-03-30deep reject only unify numeric var with concrete numericMichael Goulet-0/+4
2023-03-29Don't ICE on placeholder consts in deep rejectMichael Goulet-1/+5
2023-03-29Inline and remove `generic_args_may_unify`.Nicholas Nethercote-19/+12
2023-03-29Introduce `DeepRejectCtxt::substs_refs_may_unify`.Nicholas Nethercote-4/+11
2023-03-23Don't split up TreatProjections and TreatParams anymoreMichael Goulet-15/+22
2023-03-13Better names?Michael Goulet-13/+16
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-16/+28
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-16Be better about bound varsMichael Goulet-2/+2
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-2/+6
2022-12-15Rollup merge of #105743 - nnethercote:SimplifiedType-cleanups, r=lcnrMatthias Krüger-50/+10
2022-12-15Merge `SimplifiedTypeGen<D>` into `SimplifiedType`.Nicholas Nethercote-20/+10
2022-12-15Remove `SimplifiedTypeGen::map_def`.Nicholas Nethercote-30/+0
2022-12-13Address nitsMichael Goulet-8/+3
2022-12-13Combine projection and opaque into aliasMichael Goulet-4/+7
2022-11-25Add empty ConstKind::Abstractkadmin-2/+7
2022-11-21Allow opaque types in trait impl headers and rely on coherence to reject unso...Oli Scherer-13/+5
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-1/+1
2022-09-22use valtrees for comparisonb-naber-8/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-3/+3
2022-05-28Fix TyKind lint, make consts no longer fn, etcMichael Goulet-4/+4
2022-05-25add a deep fast_reject routinelcnr-0/+221
2022-05-18fix `simplify_type`lcnr-60/+43
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+1
2022-03-03Rollup merge of #94057 - lcnr:simplify_type-uwu, r=nikomatsakisMatthias Krüger-36/+33
2022-02-22Remove unused ordering derivations and bounds for `SimplifiedTypeGen`pierwill-4/+4
2022-02-21typolcnr-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 10:22:02 +0000