pub(crate) fn representability_cycle( _db: &dyn HirDatabase, _: Id, _id: AdtId, ) -> Representability