When inside of a CE, wrong colour for the `with` keyword when capturing a type checked exception

[MangelMaxime]

exception TestException of string

let test =
    task {
        try
            ()
        with :? TestException as e ->
            failwithf "An error occurred: %s" e.Message
    }

[ctidd]

Another case is with multiple patterns, which appears to fall into a related gap in the grammar where the :? operator in a task computation expression breaks down:

let test =
    task {
        try
            ()
        with
        | :? TestException as e -> failwithf $"An error occurred: {e.Message}"
        | _ -> failwithf "An unknown error occurred"
    }

Or the following:

let test =
    task {
        try
            ()
        with
        | :? TestException as e -> failwithf $"An error occurred: {e.Message}"
    }

In these cases, instead of with being incorrectly highlighted, it looks like the grammar starts identifying various tokens incorrectly from that point forward in a file. (In the single-line case, it's only the with token that is broken. In these cases, it breaks down further.)