go/types

do not infer external unexported types

#451220 opened 1 week ago by Robert Griesemer

reveal guesswork in package path

#444439 opened 1 month ago by Alan Donovan

factor out Chan type to internal/types

#442677 opened 1 month ago by Robert Griesemer

factor out Pointer type to internal/types

#442676 opened 1 month ago by Robert Griesemer

exported predicates to return true for invalid types

#415334 opened 5 months ago by Robert Griesemer

ensure that named types do not expand infinitely

#410363 opened 5 months ago by Robert Findley

simplify the loading interface

#404882 opened 6 months ago by Robert Findley

eliminate Named.fromRHS

#404880 opened 6 months ago by Robert Findley

don't store tparams on instances

#404878 opened 6 months ago by Robert Findley

change expandNamed into a mutating method

#404876 opened 6 months ago by Robert Findley

separate implementation of term from Term

#397514 opened 8 months ago by Robert Griesemer

add a check to detect invalid substitution for inferred types

#390040 opened 8 months ago by Robert Findley

refine the check for invalid cycles through tparam lists

#386718 opened 9 months ago by Robert Findley

enable tests skipped for unified IR

#386005 opened 9 months ago by Matthew Dempsky

unified IR workaround for #49906

#386003 opened 9 months ago by Matthew Dempsky

memoize scope.Names() result

#383075 opened 9 months ago by Adin Scannell

put error causes on new line after a ':'

#383074 opened 9 months ago by Robert Griesemer

unify structural types for external type parameters

#380375 opened 10 months ago by Robert Findley

unify the structural type of type parameters

#373414 opened 11 months ago by Robert Findley

speed up ExprString by using sync.Pool

#367054 opened 1 year ago by Emmanuel T Odeke

simplify Identical for defined types, and add sanity checks

#363254 opened 1 year ago by Robert Findley

fuzz our type hash

#362802 opened 1 year ago by Robert Findley

only resolve underlying if it is *Named

#354639 opened 1 year ago by Robert Findley

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

#340913 opened 1 year ago by Robert Griesemer

[dev.typeparams] don't eagerly convert untyped RHS of shifts to uint

#336912 opened 1 year ago by Rob Findley

rename 'imported and not used' error to 'imported but not used'

#334989 opened 1 year ago by Pablo Caderno

[dev.typeparams] expose the instance type

#328153 opened 1 year ago by Rob Findley

[dev.typeparams] consolidate instance and named syntax

#328152 opened 1 year ago by Rob Findley

[dev.typeparams] eliminate the Named.fromRHS field

#328151 opened 1 year ago by Rob Findley

[dev.typeparams] move tparams onto the TypeName

#327270 opened 1 year ago by Rob Findley

use a stable ordering for methods

#290750 opened 2 years ago by Adin Scannell

reorganize assignableTo predicate

#276672 opened 2 years ago by Matthew Dempsky

add a codeKind lookup array

#266799 opened 2 years ago by Rob Findley

customize error codes when checking assignability

#266798 opened 2 years ago by Rob Findley

introduce an interstitial typeAlias Type

#259447 opened 2 years ago by Rob Findley

decouple the type checker from go/ast

#255020 opened 2 years ago by Rob Findley

decouple the type checker from go/ast

#248722 opened 2 years ago by Rob Findley

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

#248357 opened 2 years ago by tdakkota

experiment with rewinding type-checking to check hypothetical AST changes

#241270 opened 2 years ago by Rob Findley

special handling for shifts inside string conversions

#241269 opened 2 years ago by Rob Findley

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

#241268 opened 2 years ago by Rob Findley

refactor error handling in convertUntyped

#241267 opened 2 years ago by Rob Findley

remove the concept of 'final' type from updateExprType

#241266 opened 2 years ago by Rob Findley

check var decls last, allowing some simplification

#241265 opened 2 years ago by Rob Findley

formalize the concept of phase

#241264 opened 2 years ago by Rob Findley

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

#241037 opened 2 years ago by tdakkota

eagerly complete interfaces

#239558 opened 2 years ago by Rob Findley

replace Config.UsesCgo with Checker.CgoFiles

#234526 opened 2 years ago by Matthew Dempsky

type-check _cgo_gotypes.go as its own Package

#234525 opened 2 years ago by Matthew Dempsky

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

#179184 opened 3 years ago by Robert Griesemer

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

#113855 opened 4 years ago by Shivansh Rai