:- module unused_import_inst_bug.

:- interface.

% If I include a module.
:- import_module maybe.

% and then create an instantiation state.
:- inst maybe_yes
    --->    yes(ground).

% Mercury warns me that that the module import is unused, even though I've
% used it.  If I remove the import then I have a warning about the
% instantiation state not being matched to a type.  I believe that this
% program (with the import) should be warning-clean.