| // Copyright 2021 The Go Authors. All rights reserved. | |
| // Use of this source code is governed by a BSD-style | |
| // license that can be found in the LICENSE file. | |
| package issue46404 | |
| // Check that we don't type check t[_] as an instantiation. | |
| type t [t /* ERROR not a type */ [_]]_ // ERROR cannot use |