Struct SubtypeChecker

pub struct SubtypeChecker<'a> { /* private fields */ }

Implements a subtype checker.

Subtype checking is used to type check instantiation arguments.

Implementations

impl<'a> SubtypeChecker<'a>

pub fn new(cache: &'a mut HashSet<(ItemKind, ItemKind)>) -> Self

Creates a new subtype checker with the given cache.

pub fn is_subtype( &mut self, a: ItemKind, at: &Types, b: ItemKind, bt: &Types, ) -> Result<()>

Checks if a is a subtype of b.

pub fn invert(&mut self) -> SubtypeCheck

Inverts the current subtype check being performed.

Returns the previous subtype check.

pub fn revert(&mut self)

Reverts to the previous check kind.