{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":".map(|(idx,"}]}
                .map(|(idx, _)| field_types[idx].clone().substitute(Interner, &bound_vars_subst))
                .iter()
                .filter(|it| !it.contains_unknown())