{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"table.resolve_with_fallback(inputs,"}]}
                    table.resolve_with_fallback(inputs, &|var, kind, _, _| match kind {
                if table.try_unify(&expected_ty, &output).is_ok() {
                        chalk_ir::VariableKind::Ty(tk) => var.to_ty(Interner, tk).cast(Interner),