% Compiling with --warn-unused-imports emits a warning about list being
% imported but not used, but it is used the inst's for clause.

:- module bug483.
:- interface.

:- import_module list.

:- inst empty for list/1 ---> [].