pub(super) fn check_for_substitution<'a>(
    reader: &StringReader<'a>,
    pos: BytePos,
    ch: char,
    err: &mut Diagnostic
) -> Option<TokenKind>