about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/fast_reject.rs
AgeCommit message (Expand)AuthorLines
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
2022-02-21update docs for `simplify_type`lcnr-36/+33
2022-02-14fast_reject: remove `StripReferences`lcnr-19/+1
2022-01-06rustc_middle: Add a method for getting a `SimplifiedType` definition/IDVadim Petrochenkov-0/+12
2021-12-22Remove `PartialOrd` and `Ord` from `LocalDefId`pierwill-1/+1
2021-12-14add some commentslcnr-8/+22
2021-12-14replace `DefId` with `D` in `SimplifiedType`lcnr-2/+2
2021-12-14extend `simplify_type`lcnr-14/+38
2021-10-03Remove re-export.Camille GILLOT-1/+1
2021-01-18Use `rustc_type_ir::{IntTy,UintTy,FloatTy} instead of the `rustc_ast` ones in...LeSeulArtichaut-4/+3
2020-09-04Change ty.kind to a methodLeSeulArtichaut-1/+1
2020-08-30mv compiler to compiler/mark-0/+173
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 09:52:27 +0000