bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Allow specializing on const trait bounds

Browse source
This commit is contained in:
Deadbeef 2022-09-24 06:02:49 +00:00
parent e1c28e0c85
commit a480ab6839
2 changed files with 59 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

11
compiler/rustc_typeck/src/impl_wf_check/min_specialization.rs
View file

@ -423,13 +423,10 @@ fn trait_predicate_kind<'tcx>(
predicate: ty::Predicate<'tcx>,
) -> Option<TraitSpecializationKind> {
match predicate.kind().skip_binder() {
ty::PredicateKind::Trait(ty::TraitPredicate {
trait_ref,
constness: ty::BoundConstness::NotConst,
polarity: _,
}) => Some(tcx.trait_def(trait_ref.def_id).specialization_kind),
ty::PredicateKind::Trait(_)
| ty::PredicateKind::RegionOutlives(_)
ty::PredicateKind::Trait(ty::TraitPredicate { trait_ref, constness: _, polarity: _ }) => {
Some(tcx.trait_def(trait_ref.def_id).specialization_kind)
}
ty::PredicateKind::RegionOutlives(_)
| ty::PredicateKind::TypeOutlives(_)
| ty::PredicateKind::Projection(_)
| ty::PredicateKind::WellFormed(_)