-ddump-minimal-imports does not dump some pattern imports correctly

Summary

The minimal imports generated by -ddump-minimal-imports are sometimes not correct.

For example, it generates import Agda.Utils.List1 ( pattern (:|) ) correctly, but doesn't include the pattern keyword for Def in import qualified Agda.Syntax.Abstract as A ( QName, NameToExpr(nameToExpr), Expr(Con), Def ), where Def is defined in the Agda.Syntax.Abstract module as:

 -- | Pattern synonym for regular Def
 pattern Def :: QName -> Expr
 pattern Def x = Def' x NoSuffix

This limits the utility of the feature.

Environment

• GHC version used: 8.10.1
• OS; MacOS Catalina