about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-03-01Rollup merge of #137822 - BoxyUwU:query_normalizer_docs, r=compiler-errorsMatthias Krüger-12/+9
2025-03-01Rollup merge of #137800 - BoxyUwU:param_env_docs, r=compiler-errorsMatthias Krüger-1/+1
2025-03-01Rollup merge of #137776 - nnethercote:rustc_transmute-cleanups, r=jswrennMatthias Krüger-25/+12
2025-03-01Rollup merge of #137617 - BoxyUwU:generic_const_parameter_types, r=lcnrMatthias Krüger-3/+0
2025-03-01Rollup merge of #137689 - compiler-errors:coroutine, r=lcnrMatthias Krüger-58/+21
2025-03-01Rollup merge of #137171 - makai410:swapping-e0277, r=compiler-errorsMatthias Krüger-0/+53
2025-02-28Introduce `feature(generic_const_parameter_types)`Boxy-3/+0
2025-02-28Update query normalizer docsBoxy-12/+9
2025-02-28reviewlcnr-3/+9
2025-02-28normalizing where-clauses is also coinductive, add testslcnr-1/+4
2025-02-28Remove `allow(unused_variables)` for `rustc_transmute`.Nicholas Nethercote-24/+11
2025-02-28Remove `rustc_transmute`'s dependence on `rustc_infer`.Nicholas Nethercote-3/+3
2025-02-26Remove `ParamEnv::without_caller_bounds`Boxy-1/+1
2025-02-26Rollup merge of #137635 - compiler-errors:constrain-unstable, r=SparrowLiiLeón Orell Valerian Liehr-1/+4
2025-02-26Rollup merge of #137201 - estebank:structured-errors-long-ty, r=oli-obkLeón Orell Valerian Liehr-8/+8
2025-02-26Use bound_coroutine_witnesses in old solverMichael Goulet-58/+21
2025-02-25Don't suggest constraining unstable associated typesMichael Goulet-1/+4
2025-02-25Teach structured errors to display short `Ty`Esteban Küber-8/+8
2025-02-25Auto merge of #137571 - tgross35:rollup-i1tcnv1, r=tgross35bors-1/+0
2025-02-25Auto merge of #137573 - compiler-errors:rollup-noq9yhp, r=compiler-errorsbors-25/+12
2025-02-24Remove dyn_compatible_for_dispatchMichael Goulet-25/+12
2025-02-24Introduce new parsing infrastructure and types for parsed attributesJana Dönszelmann-3/+3
2025-02-24Change span field accesses to method callsJana Dönszelmann-6/+14
2025-02-24trait_sel: resolve vars in host effectsDavid Wood-0/+2
2025-02-23stabilize extract_ifbendn-1/+0
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-14/+8
2025-02-22Rollup merge of #137333 - compiler-errors:edition-2024-fresh, r=NadrierilMatthias Krüger-14/+13
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-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-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