about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-05-16Make impls UpcastFrom, implement Upcast for UpcastFromMichael Goulet-89/+91
2024-05-16Make P parameter explicitMichael Goulet-16/+16
2024-05-16Rename ToPredicate for UpcastMichael Goulet-77/+77
2024-05-16Uplift FnSigMichael Goulet-109/+53
2024-05-15Rollup merge of #124990 - fmease:expand-weak-aliases-within-cts, r=compiler-e...Matthias Krüger-1/+1
2024-05-13Remove to_termMichael Goulet-8/+0
2024-05-13Uplift AliasTyMichael Goulet-480/+139
2024-05-13Apply nitsMichael Goulet-31/+35
2024-05-13split out AliasTy -> AliasTermMichael Goulet-61/+273
2024-05-12Auto merge of #124639 - Jules-Bertholet:match-ergonomics-2024-migration-lint,...bors-0/+19
2024-05-12Match ergonomics 2024: migration lintJules Bertholet-0/+19
2024-05-11And `ImplPolarity` tooMichael Goulet-24/+0
2024-05-11Apply nits, uplift ExistentialPredicate tooMichael Goulet-78/+64
2024-05-11Uplift `NormalizesTo`, `CoercePredicate`, and `SubtypePredicate`Michael Goulet-75/+31
2024-05-11Uplift `ExistentialTraitRef`, `ExistentialProjection`, `ProjectionPredicate`Michael Goulet-169/+62
2024-05-11Uplift `TraitPredicate`Michael Goulet-77/+13
2024-05-11Also expand weak alias tys inside consts inside `expand_weak_alias_tys`León Orell Valerian Liehr-1/+1
2024-05-10Apply nits, make some bounds into supertraits on inherent traitsMichael Goulet-0/+2
2024-05-10Also debugMichael Goulet-0/+4
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-111/+74
2024-05-10Lift `Lift`Michael Goulet-29/+9
2024-05-10Rollup merge of #124957 - compiler-errors:builtin-deref, r=michaelwoeristerMatthias Krüger-7/+5
2024-05-10Rollup merge of #124797 - beetrees:primitive-float, r=davidtwcoMatthias Krüger-8/+26
2024-05-10Auto merge of #124961 - matthiaskrgr:rollup-1jj65p6, r=matthiaskrgrbors-24/+3
2024-05-10Rollup merge of #124943 - lcnr:generic-args-ref, r=compiler-errorsMatthias Krüger-2/+2
2024-05-10Rollup merge of #124918 - nnethercote:FIXME-lcnr, r=lcnrMatthias Krüger-22/+1
2024-05-10Auto merge of #124953 - compiler-errors:own-params, r=lcnrbors-19/+19
2024-05-09Make builtin_deref just return a TyMichael Goulet-7/+5
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-19/+19
2024-05-10Remove `TyCtxt::try_normalize_erasing_late_bound_regions`.Nicholas Nethercote-22/+1
2024-05-09always use `GenericArgsRef`lcnr-2/+2
2024-05-09Make `#![feature]` suggestion MaybeIncorrectAlex Macleod-1/+1
2024-05-08Handle normalization failure in `struct_tail_erasing_lifetimes`Gurinder Singh-7/+8
2024-05-08Rollup merge of #124548 - gurry:113272-ice-failed-to-normalize, r=compiler-er...Matthias Krüger-1/+16
2024-05-06Refactor float `Primitive`s to a separate `Float` typebeetrees-8/+26
2024-05-03Rollup merge of #124610 - nnethercote:typenum, r=lcnrMatthias Krüger-8/+4
2024-05-03Tweak `consts_may_unify`.Nicholas Nethercote-8/+4
2024-05-02Rollup merge of #124624 - WaffleLapkin:old_unit, r=fmeaseMatthias Krüger-7/+2
2024-05-02Inline & delete `Ty::new_unit`, since it's just a field accessWaffle Lapkin-7/+2
2024-05-01Step bootstrap cfgsMark Rousskov-2/+2
2024-05-01Handle normalization failure in `struct_tail_erasing_lifetimes`Gurinder Singh-1/+16
2024-04-30Give items related to issue 33140 a more meaningful nameLeón Orell Valerian Liehr-22/+21
2024-04-29Remove `extern crate smallvec` from a couple of crates.Nicholas Nethercote-2/+2
2024-04-29Remove `extern crate bitflags` from a couple of crates.Nicholas Nethercote-2/+2
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-4/+4
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-14/+37
2024-04-26Auto merge of #120845 - petrochenkov:debmac, r=oli-obkbors-17/+1
2024-04-25Rollup merge of #124379 - compiler-errors:remove-new-solver-lookup-behavior, ...Michael Goulet-56/+9
2024-04-25debuginfo: Stabilize `-Z debug-macros`, `-Z collapse-macro-debuginfo` and `#[...Vadim Petrochenkov-17/+1
2024-04-25Remove special-casing for SimplifiedType for next solverMichael Goulet-56/+9