summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/coherence.rs
AgeCommit message (Expand)AuthorLines
2023-10-23nitsMichael Goulet-82/+34
2023-10-23Consider regionsMichael Goulet-2/+9
2023-10-23Make things work by using the new solverMichael Goulet-2/+2
2023-10-23Rework negative coherenceMichael Goulet-39/+152
2023-10-23Remove FnPtr hack from trait_ref_is_knowableMichael Goulet-7/+0
2023-10-23pre-cleanupsMichael Goulet-24/+32
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-3/+1
2023-09-21reviewlcnr-78/+75
2023-09-21proof trees: use for `intercrate_ambiguity_causes`lcnr-92/+239
2023-08-30Don't record spans for predicates in coherenceMichael Goulet-19/+11
2023-08-15more nitsMichael Goulet-5/+28
2023-08-15Reuse the selection context, compute failing obligations first in ambig modeMichael Goulet-76/+65
2023-08-15Implement lint against coinductive impl overlapMichael Goulet-3/+42
2023-08-15more span infoMichael Goulet-7/+9
2023-08-12normalize in `trait_ref_is_knowable` in new solverlcnr-25/+43
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-13/+11
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-3/+2
2023-07-04 -Ztrait-solver=next: stop depending on old solverlcnr-6/+16
2023-07-03use `deeply_normalize` for `assumed_wf_types`lcnr-1/+5
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-1/+6
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+3
2023-06-16fix: inline `predicate_may_hold_fatal`bohan-1/+6
2023-06-14Improve docs/clean up negative overlap functionsMichael Goulet-82/+82
2023-06-06Add -Ztrait-solver=next-coherenceMichael Goulet-0/+1
2023-05-30rework the leak_check to take the outer_universelcnr-49/+62
2023-05-30leak_check: remove unused codepathlcnr-1/+1
2023-05-25Move DefiningAnchorMichael Goulet-1/+2
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-1/+1
2023-05-09Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errorsDylan DPC-1/+3
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-1/+3
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-1/+1
2023-04-27rename `needs_subst` to `has_param`Boxy-1/+1
2023-04-27rename `needs_infer` to `has_infer`Boxy-1/+1
2023-04-13make tcx.impl_subject return EarlyBinder, remove bound_impl_subject, rename u...Kyle Matsuda-1/+1
2023-04-13change usage of bound_impl_subject to impl_subjectKyle Matsuda-1/+1
2023-04-12region error cleanuplcnr-3/+0
2023-04-06Make elaborator genericMichael Goulet-1/+1
2023-03-29Introduce `DeepRejectCtxt::substs_refs_may_unify`.Nicholas Nethercote-2/+3
2023-03-28Auto merge of #109692 - Nilstrieb:rollup-hq65rps, r=Nilstriebbors-1/+0
2023-03-28Auto merge of #108080 - oli-obk:FnPtr-trait, r=lcnrbors-0/+13
2023-03-28Rollup merge of #109629 - aliemjay:remove-givens, r=lcnrnils-1/+0
2023-03-27Add a builtin `FnPtr` traitlcnr-0/+13
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-2/+2
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-1/+0
2023-03-22Rollup merge of #109447 - lcnr:coherence, r=compiler-errorsMatthias Krüger-4/+10
2023-03-21enable `intercrate` in the solver `InferCtxt`lcnr-4/+10
2023-03-21remove some trait solver helperslcnr-1/+4
2023-03-16Rollup merge of #109166 - lcnr:define_opaque_types-explicit, r=oli-obkMatthias Krüger-16/+21
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-24 12:56:57 +0000