Searched defs:SubtypeGoal (Results 1 – 9 of 9) sorted by relevance
163 impl<I: Interner> CastTo<Goal<I>> for SubtypeGoal<I> { implementation
2011 pub struct SubtypeGoal<I: Interner> { struct2016 impl<I: Interner> Copy for SubtypeGoal<I> where I::InternedType: Copy {} argument2600 SubtypeGoal(SubtypeGoal<I>), enumerator
831 impl<I: Interner> Debug for SubtypeGoal<I> { implementation
2011 pub struct SubtypeGoal<I: Interner> { struct2016 impl<I: Interner> Copy for SubtypeGoal<I> where I::InternedType: Copy {} argument2605 SubtypeGoal(SubtypeGoal<I>), enumerator
157 impl<I: Interner> CastTo<Goal<I>> for SubtypeGoal<I> { implementation
2034 pub struct SubtypeGoal<I: Interner> { struct2039 impl<I: Interner> Copy for SubtypeGoal<I> where I::InternedType: Copy {} implementation2628 SubtypeGoal(SubtypeGoal<I>), enumerator