bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Auto merge of #101989 - fee1-dead-contrib:const_trait_impl-assoc-caller-bounds, r=oli-obk

Browse source 
make projection bounds with const bounds satisfy const

Fixes #101982.
This commit is contained in:
bors 2022-09-20 16:24:36 +00:00
commit cd8cc91045
5 changed files with 33 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_trait_selection/src/traits/select/confirmation.rs
View file

@ -68,10 +68,9 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
ImplSource::AutoImpl(data)
}
ProjectionCandidate(idx) => {
ProjectionCandidate(idx, constness) => {
let obligations = self.confirm_projection_candidate(obligation, idx)?;
// FIXME(jschievink): constness
ImplSource::Param(obligations, ty::BoundConstness::NotConst)
ImplSource::Param(obligations, constness)
}
ObjectCandidate(idx) => {