1 2 3 4 5 6 7 8 9
{-# LANGUAGE Trustworthy #-} -- | This module is marked trustworthy but should be inferable as -XSafe. -- But no warning enabled. module TrustworthySafe01 where g :: Int g = 1