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.