recursive group context bug?

[Keean Schupke]

This must be a bug then, because the following works!

y :: Num a => a
y = fromIntegral (y::Int)

>A simpler example might be:
>
>    x :: Int
>    x = y
>
>    y :: Num a => a
>    y = fromIntegral x
>
>I have not studied the report to see if this should be legal.
>  
>