remove FIXME comment

Author: nikomatsakis

chalk-solve/src/coinductive_goal.rs

@@ -28,7 +28,7 @@ impl<I: Interner> IsCoinductive<I> for Goal<I> {
             GoalData::DomainGoal(DomainGoal::WellFormed(WellFormed::Trait(..))) => true,
             GoalData::DomainGoal(_) => false,
             GoalData::Quantified(_, goal) => goal.skip_binders().is_coinductive(db),
-            GoalData::All(..) => true, // FIXME(ndm)
+            GoalData::All(..) => true,
             GoalData::Implies(_, goal) => goal.is_coinductive(db),
             GoalData::Not(_) => false,
             GoalData::EqGoal(_) => false,