about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-09-24Remove span from BrAnon.Camille GILLOT-8/+8
2023-09-24Remove dead code.Camille GILLOT-66/+8
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-85/+21
2023-09-23Enable drop_tracking_mir by default.Camille GILLOT-147/+44
2023-09-23Fold lifetimes before substitution.Camille GILLOT-14/+14
2023-09-23Check types live across yields in generators tooMichael Goulet-0/+7
2023-09-23Check that closure's by-value captures are sizedMichael Goulet-0/+11
2023-09-22Auto merge of #115920 - Zoxc:depkind-u16, r=cjgillotbors-4/+5
2023-09-21Auto merge of #115897 - eduardosm:check-fn-sig, r=compiler-errorsbors-0/+1
2023-09-21Suggest desugaring to RPITIT when AFIT is required to be an auto traitMichael Goulet-0/+137
2023-09-21Record asyncness span in HIRMichael Goulet-2/+4
2023-09-21Move `DepKind` to `rustc_query_system` and define it as `u16`John Kåre Alsaker-4/+5
2023-09-21reviewlcnr-78/+75
2023-09-21wlcnr-1/+1
2023-09-21slight refactor, add commentlcnr-11/+20
2023-09-21HACK: avoid hang in structurally_normalizelcnr-3/+9
2023-09-21proof trees: use for `intercrate_ambiguity_causes`lcnr-212/+698
2023-09-20remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat...Ziru Niu-5/+7
2023-09-19rustc_hir_analysis: add a helper to check function the signature mismatchesEduardo Sánchez Muñoz-0/+1
2023-09-19Explain HRTB + infer limitations of old solverMichael Goulet-0/+75
2023-09-18Auto merge of #115748 - RalfJung:post-mono, r=oli-obkbors-31/+36
2023-09-18remove provisional cachelcnr-186/+64
2023-09-18Rollup merge of #115838 - lcnr:added-goals, r=compiler-errorsMatthias Krüger-68/+117
2023-09-18Remove unused `Lift` derives.Nicholas Nethercote-2/+2
2023-09-17Auto merge of #114452 - weiznich:feature/diagnostic_on_unimplemented, r=compi...bors-25/+84
2023-09-15Canonicalize effect vars in new solverMichael Goulet-2/+21
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-31/+36
2023-09-14differentiate root and nested goalslcnr-25/+57
2023-09-14inspect: explicitly store added goalslcnr-1/+19
2023-09-14order `added_goals_evaluation` and `nested_probes`lcnr-24/+25
2023-09-14`GoalCandidate` to `Probe`lcnr-29/+27
2023-09-14Auto merge of #115751 - lcnr:inspect-cleanup, r=compiler-errorsbors-205/+200
2023-09-13make the set of methods between our two Const types more consistentRalf Jung-1/+1
2023-09-13make the eval() functions on our const types return the resulting valueRalf Jung-4/+4
2023-09-12`#[diagnostic::on_unimplemented]` without filtersGeorg Semmler-25/+84
2023-09-11Auto merge of #114586 - oli-obk:patch_tait_rpit_order_check, r=lcnr,compiler-...bors-4/+42
2023-09-11Bubble up opaque <eq> opaque operations instead of picking an orderOli Scherer-4/+42
2023-09-11Rollup merge of #115743 - compiler-errors:no-impls, r=davidtwcoMatthias Krüger-5/+19
2023-09-11Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obkMatthias Krüger-0/+3
2023-09-11dedup `GoalEvaluationStep` and `GoalCandidate`lcnr-42/+56
2023-09-11inspect: strongly typed CandidateKindlcnr-103/+66
2023-09-11inspect: handle `None` in `nested`lcnr-27/+7
2023-09-11split GoalEvaluation and CanonicalGoalEvaluationlcnr-60/+98
2023-09-11Disentangle `Debug` and `Display` for `Ty`.Nicholas Nethercote-1/+1
2023-09-10Point out if a local trait has no implementationsMichael Goulet-5/+19
2023-09-10Implement fallback for effect paramDeadbeef-0/+3
2023-09-07Don't suggest dereferencing to unsized typeMichael Goulet-1/+14
2023-09-06Auto merge of #115529 - chenyukang:yukang-fix-115402-overflowsize, r=compiler...bors-0/+10
2023-09-06Fix error report for size overflow from transmuteyukang-0/+10
2023-09-05 unconstrained region vars: do not ICE ICE babylcnr-9/+5