{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"let"}]}
    let ty2_with_vars = table.normalize_associated_types_in(ty2_with_vars);
    let ty1_with_vars = table.normalize_associated_types_in(ty1_with_vars);
    table.resolve_obligations_as_possible();