about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-02-22Rollup merge of #137183 - compiler-errors:dead-regionck-code, r=lcnrMatthias Krüger-212/+6
2025-02-22Fix binding mode problemsMichael Goulet-14/+13
2025-02-22Remove MaybeForgetReturn suggestionMichael Goulet-5/+3
2025-02-22Even more dead code -- we don't HIR regionck anymoreMichael Goulet-47/+5
2025-02-22More dead codeMichael Goulet-71/+2
2025-02-22Remove UnifyReceiver cause codeMichael Goulet-104/+9
2025-02-22Rollup merge of #137245 - estebank:from-residual-note-2, r=oli-obkMatthias Krüger-23/+103
2025-02-21Auto merge of #137397 - matthiaskrgr:rollup-ls2pilo, r=matthiaskrgrbors-12/+10
2025-02-21Point at type that doesn't implement needed traitEsteban Küber-0/+51
2025-02-21Rollup merge of #137305 - nnethercote:rustc_middle-2, r=lcnrMatthias Krüger-8/+13
2025-02-21Move methods from Map to TyCtxt, part 3.Nicholas Nethercote-12/+10
2025-02-20Point out the type of more expressions on bad `?`Esteban Küber-6/+1
2025-02-20Tweak E0277 when predicate comes indirectly from `?`Esteban Küber-17/+51
2025-02-20Turn order dependent trait objects future incompat warning into a hard errorOli Scherer-25/+5
2025-02-20Move `StatementAsExpression` to where it's actually used.Nicholas Nethercote-8/+13
2025-02-20Rollup merge of #137263 - compiler-errors:inherentless, r=lcnrMatthias Krüger-2/+1
2025-02-20Rollup merge of #137262 - compiler-errors:ast-ir-begone, r=lcnrMatthias Krüger-2/+1
2025-02-19Rollup merge of #137232 - estebank:from-residual-note, r=petrochenkovMatthias Krüger-0/+8
2025-02-19Auto merge of #136539 - matthewjasper:late-normalize-errors, r=compiler-errorsbors-25/+44
2025-02-19Register USAGE_OF_TYPE_IR_INHERENT, remove inherent usagesMichael Goulet-2/+1
2025-02-19Make fewer crates depend on rustc_ast_irMichael Goulet-2/+1
2025-02-19Rollup merge of #137059 - xizheyin:issue-136827, r=davidtwcoMatthias Krüger-2/+2
2025-02-18Don't mention `FromResidual` on bad `?`Esteban Küber-0/+8
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-19/+17
2025-02-17suggest swapping equality on e0277makai410-0/+53
2025-02-17Clean up dropck code a bitMatthew Jasper-35/+21
2025-02-17Report dropck normalization errors in borrowckMatthew Jasper-9/+42
2025-02-17Overhaul the `intravisit::Map` trait.Nicholas Nethercote-11/+10
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-55/+49
2025-02-15Ignore Self in bounds check for associated types with Self:SizedMichael Goulet-0/+3
2025-02-15fix: Alloc new errorcode E0803 for E0495xizheyin-2/+2
2025-02-14Auto merge of #137010 - workingjubilee:rollup-g00c07v, r=workingjubileebors-2/+2
2025-02-13Rollup merge of #136951 - compiler-errors:clause-binder, r=lqdJubilee-2/+2
2025-02-13adjust derive_errorlcnr-26/+108
2025-02-13normalizes-to rework rigid alias handlinglcnr-4/+1
2025-02-13Use BikeshedGuaranteedNotDrop in unsafe binder type WF tooMichael Goulet-1/+4
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-1/+143
2025-02-12Use the right binder for rebinding PolyTraitRefMichael Goulet-2/+2
2025-02-12Rollup merge of #136838 - compiler-errors:escaping-unsize, r=fmeaseGuillaume Gomez-2/+3
2025-02-12Auto merge of #136905 - matthiaskrgr:rollup-8zwcgta, r=matthiaskrgrbors-10/+77
2025-02-12Rollup merge of #135965 - estebank:shorten-ty-sugg, r=lcnrMatthias Krüger-10/+77
2025-02-11Make DeeplyNormalize a real type opMichael Goulet-3/+55
2025-02-11Rollup merge of #136584 - oli-obk:pattern-types-generic, r=BoxyUwUMatthias Krüger-2/+42
2025-02-10Check whole Unsize predicate for escaping bound varsMichael Goulet-2/+3
2025-02-08Rustfmtbjorn3-162/+206
2025-02-06stabilize `feature(trait_upcasting)`Waffle Lapkin-62/+1
2025-02-06Rollup merge of #136311 - compiler-errors:vtable-fixes-2, r=lcnrMatthias Krüger-5/+21
2025-02-06Prevent generic pattern types from being used in libstdOli Scherer-2/+42
2025-02-05Pass spans around new solverMichael Goulet-12/+22
2025-02-05Remove span from delegateMichael Goulet-2/+0