fn for_all_ctxts_in<E, F: FnMut(u32, SyntaxContext, &SyntaxContextData) -> Result<(), E>>(
    ctxts: impl Iterator<Item = SyntaxContext>,
    f: F
) -> Result<(), E>