(WIP) expand definition of coinductive goals

Author: nikomatsakis

chalk-solve/src/coinductive_goal.rs

@@ -26,10 +26,13 @@ impl<I: Interner> IsCoinductive<I> for Goal<I> {
                 WhereClause::AliasEq(..) => false,
             },
             GoalData::DomainGoal(DomainGoal::WellFormed(WellFormed::Trait(..))) => true,
-            GoalData::Quantified(QuantifierKind::ForAll, goal) => {
-                goal.skip_binders().is_coinductive(db)
-            }
-            _ => false,
+            GoalData::DomainGoal(_) => false,
+            GoalData::Quantified(_, goal) => goal.skip_binders().is_coinductive(db),
+            GoalData::All(..) => true, // FIXME(ndm)
+            GoalData::Implies(_, goal) => goal.is_coinductive(db),
+            GoalData::Not(_) => false,
+            GoalData::EqGoal(_) => false,
+            GoalData::CannotProve(_) => false,
         }
     }
 }