Robert Griesemer

cmd/compile: handle alias types in recursive types more consistently

8

The following code ```Go package p var x T[B] type T[_ any] struct{} type A T[B /* ERROR invalid use of type alias */ ] type B = T[A] ```...

CL 464341 (pending) introduces a simpler (and likely faster) type inference algorithm. During development we also run the old algorithm and compare the results so we find problems early. This...

go/types: discrepancy in type checking compared to types2

2

For ```Go // -gotypesalias=1 package p var x T[B] type T[_ any] struct{} type A T[B] type B = T[A] ``` types2 produces the trace: ``` testdata/manual.go:7:6: -- checking type...

go/types, types2: error reported for valid shifts

11

Extracted `from test/shift1.go` which is currently not passing (excluded) in 1.18: ```Go package p func _(x int, s uint) { x = (1.

We should track the source positions for the code we're in the process of type-checking so that we can report a position when panicking. This won't simplify debugging (we can...

go/types, types2: simplify type-checking of method receivers with type parameters

14

This is a reminder issue to clean up handling of method receivers in Checker.funcType. Receiver parameter handling relies on delayed instantiation and uses constraint type inference. At least the latter...

spec: investigate if we can remove (most or all) needs for the concept of a core type

31

The original generics proposal (#43651) and accompanying detailed [design doc](https://go.googlesource.com/proposal/+/refs/heads/master/design/43651-type-parameters.md) didn't specify the notion of a _core type_. The spec introduced core types to determine whether an operation is permitted...

proposal: remove gotypesalias, asynctimerchan GODEBUG flag for 1.27

6

I propose that we pre-announce in the Go 1.26 release notes the removal in Go 1.27 of the following GODEBUG flags: - gotypesalias [introduced in Go 1.22](https://go.dev/doc/godebug#go-122) - asynctimerchan [introduced...