mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update fixme

Browse Source
This commit is contained in:
lcnr 2023-12-08 02:16:29 +01:00
parent 1490c58076
commit ac50f4b571
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
compiler/rustc_infer/src/infer/combine.rs
View File

@ -512,10 +512,9 @@ pub fn instantiate(
} else { } else {
match a_ty.kind() { match a_ty.kind() {
&ty::Alias(ty::AliasKind::Projection, data) => { &ty::Alias(ty::AliasKind::Projection, data) => {
// FIXME: This does not handle subtyping correctly, we should switch to // FIXME: This does not handle subtyping correctly, we could
// alias-relate in the new solver and could instead create a new inference // instead create a new inference variable for `a_ty`, emitting
// variable for `a_ty`, emitting `Projection(a_ty, a_infer)` and // `Projection(a_ty, a_infer)` and `a_infer <: b_ty`.
// `a_infer <: b_ty`.
self.obligations.push(Obligation::new( self.obligations.push(Obligation::new(
self.tcx(), self.tcx(),
self.trace.cause.clone(), self.trace.cause.clone(),