Struct MaxUniverse

pub struct MaxUniverse { /* private fields */ }

Finds the max universe present

Implementations

impl MaxUniverse

pub fn new() -> Self

pub fn max_universe(self) -> UniverseIndex

Trait Implementations

impl Default for MaxUniverse

fn default() -> Self

Returns the “default value” for a type.

impl<'db> TypeVisitor<DbInterner<'db>> for MaxUniverse

type Result = ()

fn visit_ty(&mut self, t: Ty<'db>)

fn visit_const(&mut self, c: Const<'db>)

fn visit_region(&mut self, r: Region<'db>)

fn visit_binder<T>(&mut self, t: &Binder<I, T>) -> Self::Result

where T: TypeVisitable<I>,

fn visit_predicate(&mut self, p: <I as Interner>::Predicate) -> Self::Result

fn visit_clauses(&mut self, c: <I as Interner>::Clauses) -> Self::Result

fn visit_error( &mut self, _guar: <I as Interner>::ErrorGuaranteed, ) -> Self::Result