| // run | |
| // 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 main | |
| import ( | |
| "fmt" | |
| ) | |
| type E[T any] struct { | |
| v T | |
| } | |
| type S1 struct { | |
| E[int] | |
| v string | |
| } | |
| type Eint = E[int] | |
| type Ebool = E[bool] | |
| type Eint2 = Eint | |
| type S2 struct { | |
| Eint | |
| Ebool | |
| v string | |
| } | |
| type S3 struct { | |
| *E[int] | |
| } | |
| func main() { | |
| s1 := S1{Eint{2}, "foo"} | |
| if got, want := s1.E.v, 2; got != want { | |
| panic(fmt.Sprintf("got %d, want %d", got, want)) | |
| } | |
| s2 := S2{Eint{3}, Ebool{true}, "foo"} | |
| if got, want := s2.Eint.v, 3; got != want { | |
| panic(fmt.Sprintf("got %d, want %d", got, want)) | |
| } | |
| var s3 S3 | |
| s3.E = &Eint{4} | |
| if got, want := s3.E.v, 4; got != want { | |
| panic(fmt.Sprintf("got %d, want %d", got, want)) | |
| } | |
| } |