// Idea of this test is that the missing definition should only cause
// one error message pointing to the type declaration.
a :: Double
b :: Double
b = a
--
3:1-3:12: a is not defined.