// 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 p

type Mer interface { M() }

func F[T Mer](p *T) {
	p.M /* ERROR "p.M undefined" */ ()
}

type MyMer int

func (MyMer) M() {}

func _() {
	F(new(MyMer))
	F[Mer](nil)
}