return () -- skip, we already had an error here
checkIndexes clas inst_tys (hsAT, Just (ATyCon tycon)) =
-- !!!TODO: check that this does the Right Thing for indexed synonyms, too!
return () -- skip, we already had an error here
checkIndexes clas inst_tys (hsAT, Just (ATyCon tycon)) =
-- !!!TODO: check that this does the Right Thing for indexed synonyms, too!