Issue1452-warn.agda:5,5-14
Terms marked as eligible for instance search should end with a
name, so 'instance' is ignored here.

———— All done; warnings encountered ————————————————————————

Issue1452-warn.agda:5,5-14
Terms marked as eligible for instance search should end with a
name, so 'instance' is ignored here.
