Tests for __auto_type used in its own initialisation