{"ast_node_type":"variable","tokens":[{"end":56,"kind":"keyword","start":0,"text":"let"}]}
                    let ty_var = self.next_ty_var(span);
                    let span = if span.contains(def_span) { def_span } else { span };
                    obligations.extend(