{"ast_node_type":"variable","tokens":[{"end":74,"kind":"keyword","start":0,"text":"let"}]}
        let sig_ty = TyKind::Function(bound_sig.clone()).intern(Interner);
        let bound_sig = self.normalize_associated_types_in(bound_sig);