narrow and expand the FIXME comment

nikomatsakis · nikomatsakis · commit 292ff4b1dc52 · 2019-10-14T05:31:19.000-04:00
diff --git a/chalk-solve/src/clauses/env_elaborator.rs b/chalk-solve/src/clauses/env_elaborator.rs
@@ -61,8 +61,12 @@ impl<'db, 'set> EnvElaborator<'db, 'set> {
             Ty::Projection(projection_ty) => {
                 self.visit_projection_ty(projection_ty);
             }
-            // FIXME #203
-            Ty::Dyn(_) | Ty::Opaque(_) | Ty::ForAll(_) | Ty::BoundVar(_) | Ty::InferenceVar(_) => (),
+
+            // FIXME(#203) -- We haven't fully figured out the implied
+            // bounds story around object and impl trait types.
+            Ty::Dyn(_) | Ty::Opaque(_) => (),
+
+            Ty::ForAll(_) | Ty::BoundVar(_) | Ty::InferenceVar(_) => (),
         }
         self.round.extend(clauses);
     }

Original file line number	Diff line number	Diff line change
`@@ -61,8 +61,12 @@ impl<'db, 'set> EnvElaborator<'db, 'set> {`
`61`	`61`	`Ty::Projection(projection_ty) => {`
`62`	`62`	`self.visit_projection_ty(projection_ty);`
`63`	`63`	`}`
`64`		`- // FIXME #203`
`65`		`- Ty::Dyn(_) \| Ty::Opaque(_) \| Ty::ForAll(_) \| Ty::BoundVar(_) \| Ty::InferenceVar(_) => (),`
	`64`	`+`
	`65`	`+ // FIXME(#203) -- We haven't fully figured out the implied`
	`66`	`+ // bounds story around object and impl trait types.`
	`67`	`+ Ty::Dyn(_) \| Ty::Opaque(_) => (),`
	`68`	`+`
	`69`	`+ Ty::ForAll(_) \| Ty::BoundVar(_) \| Ty::InferenceVar(_) => (),`
`66`	`70`	`}`
`67`	`71`	`self.round.extend(clauses);`
`68`	`72`	`}`