Out of scope error not reported

Consider

{-# LANGUAGE TypeApplications #-}
{-# OPTIONS -fdefer-type-errors #-}

f = bar @Int

where bar is not in scope. We get

T12768.hs:8:7: error:
    • Cannot apply expression of type ‘t1’
      to a visible type argument ‘Int’
    • In the expression: bar @Int

Confusingly, the "bar is not in scope`" error (the true error) has been suppressed.

Trac metadata

Trac field	Value
Version	8.0.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture