{"ast_node_type":"variable","tokens":[{"end":38,"kind":"keyword","start":0,"text":"let"}]}
        let name = adt.name(ctx.db());
        let adt = ty.as_adt()?;
        // FIXME: use lang items to determine if it is std type or user defined