1 files changed, 16 insertions, 0 deletions
diff --git a/test/typeparam/issue55101.go b/test/typeparam/issue55101.go
new file mode 100644
index 0000000..2d45c87
--- /dev/null
+++ b/test/typeparam/issue55101.go
@@ -0,0 +1,16 @@
+// compile
+
+// Copyright 2022 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
+
+func F() *Cache[error] { return nil }
+
+type Cache[T any] struct{ l *List[entry[T]] }
+type entry[T any] struct{ value T }
+type List[T any] struct{ len int }
+
+func (c *Cache[V]) Len() int { return c.l.Len() }
+func (l *List[T]) Len() int  { return l.len }