// UNREVIEWED
// Copyright 2020 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 p

type T[P any] P
type A = T
var x A[int]
var _ A /* ERROR cannot use generic type */

type B = T[int]
var y B = x
var _ B /* ERROR not a generic type */ [int]

// test case from issue

type Vector[T any] []T
type VectorAlias = Vector
var v Vector[int]