about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2023-05-30Auto merge of #111881 - lcnr:leak-check, r=nikomatsakis,jackh726bors-54/+69
2023-05-30rework the leak_check to take the outer_universelcnr-54/+69
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-5/+5
2023-05-30leak_check: remove unused codepathlcnr-2/+2
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-4/+5
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-5/+5
2023-05-29Use `Cow` in `{D,Subd}iagnosticMessage`.Nicholas Nethercote-14/+31
2023-05-28Make EarlyBinder's inner value private; and fix all of the resulting errorsKyle Matsuda-10/+10
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-5/+5
2023-05-28Auto merge of #112001 - saethlin:enable-matchbranchsimplification, r=cjgillotbors-0/+1
2023-05-28Auto merge of #111378 - jieyouxu:local-shadows-glob-reexport, r=petrochenkovbors-0/+2
2023-05-27Try enabling MatchBranchSimplificationBen Kimock-0/+1
2023-05-27Add warn-by-default lint for local binding shadowing exported glob re-export ...许杰友 Jieyou Xu (Joe)-0/+2
2023-05-27Don't use outlives type op outside of MIR typeckMichael Goulet-14/+23
2023-05-27Uplift complex type ops back into typeck so we can call them locallyMichael Goulet-17/+558
2023-05-27Perform MIR type ops locally in new solverMichael Goulet-1/+94
2023-05-25Fallible<_> -> Result<_, NoSolution>Michael Goulet-33/+36
2023-05-25Use ErrorGuaranteed more in MIR type opsMichael Goulet-21/+39
2023-05-25diagnostics: exclude indirect private deps from trait impl suggestMichael Howell-0/+1
2023-05-25Move DefiningAnchorMichael Goulet-1/+2
2023-05-25Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...Michael Goulet-2/+4
2023-05-24Safe Transmute: Update definition of Condition typeBryan Garza-17/+20
2023-05-24Rollup merge of #111912 - WaffleLapkin:is_some_and_in_the_compiler, r=petroch...Manish Goregaokar-6/+6
2023-05-24Safe Transmute: Check mutability before creating dst -> src obligationBryan Garza-5/+15
2023-05-24Safe Transmute: Fix propagation of errorsBryan Garza-3/+3
2023-05-24Safe Transmute: Change Answer type to ResultBryan Garza-18/+18
2023-05-24Safe Transmute: Enable handling references, including recursive typesBryan Garza-6/+65
2023-05-24Use ObligationCtxt in custom type opsMichael Goulet-27/+27
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-6/+6
2023-05-24Rollup merge of #111880 - compiler-errors:pointer-like-param-env, r=jackh726Matthias Krüger-5/+7
2023-05-23Don't ICE when computing PointerLike trait when region vars are in param-envMichael Goulet-5/+7
2023-05-23Rollup merge of #111704 - compiler-errors:sized-return-cleanup, r=oli-obkDylan DPC-230/+49
2023-05-23Auto merge of #110204 - compiler-errors:new-solver-hir-typeck-hacks, r=lcnrbors-0/+57
2023-05-22Structurally normalize in the new solverMichael Goulet-0/+57
2023-05-22Auto merge of #111848 - Dylan-DPC:rollup-7jqydzg, r=Dylan-DPCbors-0/+8
2023-05-23Rollup merge of #111612 - ChayimFriedman2:collect-into-slice-ref, r=petrochenkovDylan DPC-0/+8
2023-05-19update recursion depth in `confirm_candidate`lcnr-0/+6
2023-05-19Auto merge of #110100 - compiler-errors:no-infer-pred-must-hold, r=jackh726bors-23/+32
2023-05-18Rollup merge of #111695 - fmease:dont-lump-together-alias-tys, r=compiler-errorsDylan DPC-4/+13
2023-05-18Rollup merge of #111633 - nnethercote:avoid-ref-format, r=WaffleLapkinDylan DPC-1/+1
2023-05-18Simplify suggestion when returning bare dyn traitMichael Goulet-230/+49
2023-05-17Exclude inherent projections from some alias ty matchesLeón Orell Valerian Liehr-4/+13
2023-05-16suggest `Option::as_deref(_mut)`y21-9/+96
2023-05-16Rollup merge of #111533 - clubby789:drop-tracking-error, r=oli-obkMatthias Krüger-2/+1
2023-05-16Rollup merge of #111602 - tmiasko:erroneous-constant-used, r=oli-obkNilstrieb-4/+4
2023-05-16Avoid `&format("...")` calls in error message code.Nicholas Nethercote-1/+1
2023-05-15Give better error when collecting into `&[T]`Chayim Refael Friedman-0/+8
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-7/+9
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-4/+4
2023-05-13Handle error body when in generator layoutclubby789-2/+1