about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
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-11Consolidate obligation cause codes for where clausesMichael Goulet-16/+9
2024-05-11Also expand weak alias tys inside consts inside `expand_weak_alias_tys`León Orell Valerian Liehr-1/+1
2024-05-10Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnrbors-141/+90
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-30/+10
2024-05-10Auto merge of #124952 - compiler-errors:no-error, r=lcnrbors-38/+33
2024-05-10Name tweaksMichael Goulet-7/+7
2024-05-10More rename falloutMichael Goulet-18/+19
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-27/+20
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-11/+12
2024-05-10Rollup merge of #124957 - compiler-errors:builtin-deref, r=michaelwoeristerMatthias Krüger-14/+8
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-20/+20
2024-05-09Make builtin_deref just return a TyMichael Goulet-14/+8
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-20/+20
2024-05-10Remove `TyCtxt::try_normalize_erasing_late_bound_regions`.Nicholas Nethercote-22/+1
2024-05-09always use `GenericArgsRef`lcnr-2/+2
2024-05-09fix: Check whether next_node is else-less if in get_return_blockcardigan1008-3/+1
2024-05-09Make `#![feature]` suggestion MaybeIncorrectAlex Macleod-1/+1
2024-05-09fix: Add if to check whether the previous node is Blockcardigan1008-0/+3
2024-05-09Auto merge of #124831 - nnethercote:rustc_data_structures-cleanups, r=michael...bors-9/+8
2024-05-09Remove `TinyList`.Nicholas Nethercote-9/+8
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-07Auto merge of #123332 - Nadrieril:testkind-never, r=matthewjasperbors-0/+17
2024-05-06Record impl args in the InsepctCandiate rather than rematching during selectMichael Goulet-0/+5
2024-05-06Refactor float `Primitive`s to a separate `Float` typebeetrees-8/+26
2024-05-04Lower never patterns to Unreachable in mirNadrieril-0/+17
2024-05-03Rollup merge of #124418 - compiler-errors:better-cause, r=lcnrMichael Goulet-0/+3
2024-05-04Auto merge of #124401 - oli-obk:some_hir_cleanups, r=cjgillotbors-2/+2
2024-05-03Auto merge of #124675 - matthiaskrgr:rollup-x6n79ua, r=matthiaskrgrbors-1/+1
2024-05-03Rollup merge of #124555 - Zalathar:init-coverage, r=nnethercoteMatthias Krüger-1/+1
2024-05-03Auto merge of #123441 - saethlin:fixed-len-file-names, r=oli-obkbors-6/+5
2024-05-03Rollup merge of #124492 - Strophox:adjust-allocbytes, r=RalfJungMatthias Krüger-7/+5
2024-05-03remove trait bounds on AllocBytesStrophox-3/+1
2024-05-03Cow::from(&*...) changed to Cow::Owned(Vec::from(...))Strophox-1/+1
2024-05-03generalize adjust_from_tcxStrophox-4/+4
2024-05-03Rollup merge of #124610 - nnethercote:typenum, r=lcnrMatthias Krüger-8/+4