{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":".into_value_and_skipped_binders();"}]}
                    .into_value_and_skipped_binders();
                    .substitute(Interner, parameters)
                always!(binders.len(Interner) == 0); // quantified where clauses not yet handled