{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"ty::Array(typ,"}]}
            ty::Array(typ, len) => {
                self.add_constraints_from_const(current, len, variance);