{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"where"}]}
where
) -> Result<(), ErrorGuaranteed>
    F: for<'a> FnOnce(&WfCheckingCtxt<'a, 'tcx>) -> Result<(), ErrorGuaranteed>,