Function struct_literal_id 

pub fn struct_literal_id(
    namespace: &[SmolStr],
    fields: &[(SmolStr, Expr, Span, Span)],
    type_args: &[TypeExpr],
    span: Span,
    v: &mut Vec<Variable>,
    ctx: Ctx,
    state: &mut State<'_>,
) -> u16

Resolves the struct a literal names, instantiating the generic type when the literal carries type arguments.

A literal of a generic type written without them takes each type parameter from the value in the field declared with that parameter as its type, so Cell{ value: 3 } is a Cell<int>. A parameter no field pins is any.