testsuite/tests/th/T12530.stderr


1
2
3
4
5
6
7
8
9
10

T12530.hs:(8,3)-(15,6): Splicing declarations
    [d| f :: Maybe Int -> Maybe Int
        f = id @(Maybe Int)
        g :: forall a. a
        g = undefined @(_) @(a) |]
  ======>
    f :: Maybe Int -> Maybe Int
    f = id @Maybe Int
    g :: forall a. a
    g = undefined @_ @a