/
githubmirror
/
go
Обзор
Документация
Войти
/
githubmirror
/
go
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
master
test/fixedbugs/issue53309.go
42 строки
665 B
Robert Griesemer
go/types, types2: don't infer type argument for unused parameter in interfaces
26 май 2023, 00:37
26 май 2023, 00:37
1dd24d8
Код
Авторство
О чём код?
// 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 type TaskInput interface { deps() []*taskDefinition } type Value[T any] interface { metaValue } type metaValue interface { TaskInput } type taskDefinition struct { } type taskResult struct { task *taskDefinition } func (tr *taskResult) deps() []*taskDefinition { return nil } func use[T any](v Value[T]) { _, ok := v.(*taskResult) if !ok { panic("output must be *taskResult") } } func main() { tr := &taskResult{&taskDefinition{}} use[string](Value[string](tr)) }