{-# LANGUAGE Trustworthy #-} -- | This module is marked trustworthy but should be inferable as -XSafe. -- But no warning enabled. module TrustworthySafe01 where g :: Int g = 1