cairo_lang_semantic::types

Function resolve_type

Source
pub fn resolve_type(
    db: &dyn SemanticGroup,
    diagnostics: &mut SemanticDiagnostics,
    resolver: &mut Resolver<'_>,
    ty_syntax: &Expr,
) -> TypeId
Expand description

Resolves a type given a module and a path. Used for resolving from non-statement context.