Server : LiteSpeed System : Linux in-mum-web1333.main-hosting.eu 4.18.0-553.37.1.lve.el8.x86_64 #1 SMP Mon Feb 10 22:45:17 UTC 2025 x86_64 User : u141265441 ( 141265441) PHP Version : 8.4.3 Disable Function : system, exec, shell_exec, passthru, mysql_list_dbs, ini_alter, dl, symlink, link, chgrp, leak, popen, apache_child_terminate, virtual, mb_send_mail Directory :  /proc/self/root/opt/golang/1.22.0/test/typeparam/

Upload File : current_dir [ Writeable ] document_root [ Writeable ]

// run

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

import (
	"fmt"
)

type Printer[T ~string] struct {
	PrintFn func(T)
}

func Print[T ~string](s T) {
	fmt.Println(s)
}

func PrintWithPrinter[T ~string, S interface {
	~struct {
		ID       T
		PrintFn_ func(T)
	}
	PrintFn() func(T)
}](message T, obj S) {
	obj.PrintFn()(message)
}

type PrintShop[T ~string] struct {
	ID       T
	PrintFn_ func(T)
}

// Field accesses through type parameters are disabled
// until we have a more thorough understanding of the
// implications on the spec. See issue #51576.
// Use accessor method instead.

func (s PrintShop[T]) PrintFn() func(T) { return s.PrintFn_ }

func main() {
	PrintWithPrinter(
		"Hello, world.",
		PrintShop[string]{
			ID:       "fake",
			PrintFn_: Print[string],
		},
	)
}