go/types

use nil to represent incomplete explicit aliaseswait-release

#683796 opened 1 week ago by Mark Freeman

better error messages for certain type mismatcheswait-release

#682495 opened 2 weeks ago by Robert Griesemer

flip on position tracingwait-release

#676816 opened 1 month ago by Mark Freeman

add tests for duplicate instantiation

#666435 opened 2 months ago by Mark Freeman

add missing generic type test to Checker.Instantiate

#666115 opened 2 months ago by Robert Griesemer

Hasher, a hash function for Types

#657297 opened 3 months ago by Alan Donovan

use iterator instead of callback in commonUnder

#655255 opened 3 months ago by Robert Griesemer

type check question mark statement

#642501 opened 5 months ago by Robert Griesemer

remove need for core type in composite literals

#635077 opened 6 months ago by Robert Griesemer

remove need for core type in for-range statements

#635076 opened 6 months ago by Robert Griesemer

remove need for core type in unsafe.Slice/SliceData calls

#635075 opened 6 months ago by Robert Griesemer

remove need for coreString function

#635054 opened 6 months ago by Robert Griesemer

remove need for core type in copy calls

#635053 opened 6 months ago by Robert Griesemer

remove need for core type in append calls

#635052 opened 6 months ago by Robert Griesemer

remove need for core type in function calls

#635051 opened 6 months ago by Robert Griesemer

remove need for core type in slice expressions

#635050 opened 6 months ago by Robert Griesemer

remove need for core type in make calls

#635049 opened 6 months ago by Robert Griesemer

remove need for core type in send statements

#635048 opened 6 months ago by Robert Griesemer

remove need for core type in receive operations

#635047 opened 6 months ago by Robert Griesemer

allow access of fields shared by all elements of a type set

#618655 opened 8 months ago by Robert Griesemer

remove need for core type in composite literals

#618376 opened 8 months ago by Robert Griesemer

remove need for core type in for-range statements

#613636 opened 9 months ago by Robert Griesemer

permit type cycles through type parameter lists

#605755 opened 10 months ago by Robert Griesemer

remove GOEXPERIMENT=aliastypeparams

#604615 opened 10 months ago by Alan Donovan

remove need for core type in unsafe.Slice/SliceData calls

#604279 opened 10 months ago by Robert Griesemer

remove need for coreString function

#604278 opened 10 months ago by Robert Griesemer

remove need for core type in copy calls

#604277 opened 10 months ago by Robert Griesemer

remove need for core type in append calls

#604116 opened 10 months ago by Robert Griesemer

remove need for core type in make calls

#603516 opened 11 months ago by Robert Griesemer

remove need for core type in function calls

#603403 opened 11 months ago by Robert Griesemer

remove need for core type in slice expressions

#603402 opened 11 months ago by Robert Griesemer

remove need for core type in send statements

#602696 opened 11 months ago by Robert Griesemer

remove need for core type in receive operations

#602695 opened 11 months ago by Robert Griesemer

track most recent source position

#591996 opened 1 year ago by Robert Griesemer

typecheck interface literals (experiment)

#591256 opened 1 year ago by Robert Griesemer

[release-branch.go1.22] don't allow float iteration variables

#590095 opened 1 year ago by Robert Griesemer

fix incorrect non-nil check causing panic

#577455 opened 1 year ago by wulianglongrd

introduce Pos alias for syntax.Pos/token.Pos

#565915 opened 1 year ago by Robert Griesemer

add a failing test for unified import deadlock

#531655 opened 2 years ago by Rob Findley

implement type-checking of predeclared zero

#520336 opened 2 years ago by Robert Griesemer

remove explicit pos argument from Checker.funcInst

#494119 opened 2 years ago by Robert Griesemer

use syntax.NewCommentMap instead of local copy

#461613 opened 2 years ago by Robert Griesemer

introduce srcPos alias and simplify rewriting

#461601 opened 2 years ago by Robert Griesemer

do not infer external unexported types

#451220 opened 2 years ago by Robert Griesemer

factor out Chan type to internal/types

#442677 opened 2 years ago by Robert Griesemer

factor out Pointer type to internal/types

#442676 opened 2 years ago by Robert Griesemer

exported predicates to return true for invalid typesex-wait-release

#415334 opened 3 years ago by Robert Griesemer

ensure that named types do not expand infinitely

#410363 opened 3 years ago by Robert Findley

simplify the loading interface

#404882 opened 3 years ago by Robert Findley

eliminate Named.fromRHS

#404880 opened 3 years ago by Robert Findley

don't store tparams on instances

#404878 opened 3 years ago by Robert Findley

change expandNamed into a mutating method

#404876 opened 3 years ago by Robert Findley

separate implementation of term from Term

#397514 opened 3 years ago by Robert Griesemer

add a check to detect invalid substitution for inferred types

#390040 opened 3 years ago by Robert Findley

refine the check for invalid cycles through tparam lists

#386718 opened 3 years ago by Robert Findley

enable tests skipped for unified IR

#386005 opened 3 years ago by Matthew Dempsky

unified IR workaround for #49906

#386003 opened 3 years ago by Matthew Dempsky

put error causes on new line after a ':'

#383074 opened 3 years ago by Robert Griesemer

unify the structural type of type parameters

#373414 opened 3 years ago by Robert Findley

speed up ExprString by using sync.Pool

#367054 opened 3 years ago by Emmanuel T Odeke

simplify Identical for defined types, and add sanity checks

#363254 opened 3 years ago by Robert Findley

fuzz our type hash

#362802 opened 3 years ago by Robert Findley

[dev.typeparams] Interface.Embedded to panic if embedded type is not a defined type

#340913 opened 3 years ago by Robert Griesemer

[dev.typeparams] expose the instance type

#328153 opened 4 years ago by Rob Findley

[dev.typeparams] consolidate instance and named syntax

#328152 opened 4 years ago by Rob Findley

[dev.typeparams] eliminate the Named.fromRHS field

#328151 opened 4 years ago by Rob Findley

[dev.typeparams] move tparams onto the TypeName

#327270 opened 4 years ago by Rob Findley

reorganize assignableTo predicate

#276672 opened 4 years ago by Matthew Dempsky

add a codeKind lookup array

#266799 opened 4 years ago by Rob Findley

customize error codes when checking assignability

#266798 opened 4 years ago by Rob Findley

introduce an interstitial typeAlias Type

#259447 opened 4 years ago by Rob Findley

decouple the type checker from go/ast

#255020 opened 4 years ago by Rob Findley

decouple the type checker from go/ast

#248722 opened 4 years ago by Rob Findley

[dev.go2go] fix endless recursion on recursive type constra…

#248357 opened 4 years ago by tdakkota

experiment with rewinding type-checking to check hypothetical AST changes

#241270 opened 5 years ago by Rob Findley

special handling for shifts inside string conversions

#241269 opened 5 years ago by Rob Findley

(minor) use token.NoPos rather than 0 in a few places

#241268 opened 5 years ago by Rob Findley

refactor error handling in convertUntyped

#241267 opened 5 years ago by Rob Findley

remove the concept of 'final' type from updateExprType

#241266 opened 5 years ago by Rob Findley

check var decls last, allowing some simplification

#241265 opened 5 years ago by Rob Findley

formalize the concept of phase

#241264 opened 5 years ago by Rob Findley

[dev.go2go] avoid endless recursion in self-recursive newty…

#241037 opened 5 years ago by tdakkota

eagerly complete interfaces

#239558 opened 5 years ago by Rob Findley

type-check _cgo_gotypes.go as its own Package

#234525 opened 5 years ago by Matthew Dempsky

change cap, len to return untyped int if result is constant (experiment)

#179184 opened 6 years ago by Robert Griesemer

use binary search when looking up a method in a sorted listex-wait-release

#113855 opened 7 years ago by Shivansh Rai