Open
Description
As @mmzx noted in #722 (comment), we can't warn users about NoMonoLocalBinds
if the code we're fetching comes from external packages (.hi
files) simply because GHC doesn't store what language extensions modules were built with. We should investigate whether we can extend GHC to support this.