go/types

add a failing test for unified import deadlock

#531655 opened 2 months ago by Rob Findley

implement type-checking of predeclared zero

#520336 opened 3 months ago by Robert Griesemer

compiler should not accept invalid declaration of methods on aliases to C types

#503596 opened 5 months ago by cuiweixie

remove explicit pos argument from Checker.funcInst

#494119 opened 6 months ago by Robert Griesemer

use syntax.NewCommentMap instead of local copy

#461613 opened 10 months ago by Robert Griesemer

introduce srcPos alias and simplify rewriting

#461601 opened 10 months ago by Robert Griesemer

do not infer external unexported types

#451220 opened 1 year ago by Robert Griesemer

factor out Chan type to internal/types

#442677 opened 1 year ago by Robert Griesemer

factor out Pointer type to internal/types

#442676 opened 1 year ago by Robert Griesemer

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

#415334 opened 1 year ago by Robert Griesemer

ensure that named types do not expand infinitely

#410363 opened 2 years ago by Robert Findley

simplify the loading interface

#404882 opened 2 years ago by Robert Findley

eliminate Named.fromRHS

#404880 opened 2 years ago by Robert Findley

don't store tparams on instances

#404878 opened 2 years ago by Robert Findley

change expandNamed into a mutating method

#404876 opened 2 years ago by Robert Findley

separate implementation of term from Term

#397514 opened 2 years ago by Robert Griesemer

add a check to detect invalid substitution for inferred types

#390040 opened 2 years ago by Robert Findley

refine the check for invalid cycles through tparam lists

#386718 opened 2 years ago by Robert Findley

enable tests skipped for unified IR

#386005 opened 2 years ago by Matthew Dempsky

unified IR workaround for #49906

#386003 opened 2 years ago by Matthew Dempsky

memoize scope.Names() result

#383075 opened 2 years ago by Adin Scannell

put error causes on new line after a ':'

#383074 opened 2 years ago by Robert Griesemer

unify structural types for external type parameters

#380375 opened 2 years ago by Robert Findley

unify the structural type of type parameters

#373414 opened 2 years ago by Robert Findley

speed up ExprString by using sync.Pool

#367054 opened 2 years ago by Emmanuel T Odeke

simplify Identical for defined types, and add sanity checks

#363254 opened 2 years ago by Robert Findley

fuzz our type hash

#362802 opened 2 years ago by Robert Findley

only resolve underlying if it is *Named

#354639 opened 2 years ago by Robert Findley

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

#340913 opened 2 years ago by Robert Griesemer

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

#336912 opened 2 years ago by Rob Findley

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

#334989 opened 2 years ago by Pablo Caderno

[dev.typeparams] expose the instance type

#328153 opened 2 years ago by Rob Findley

[dev.typeparams] consolidate instance and named syntax

#328152 opened 2 years ago by Rob Findley

[dev.typeparams] eliminate the Named.fromRHS field

#328151 opened 2 years ago by Rob Findley

[dev.typeparams] move tparams onto the TypeName

#327270 opened 2 years ago by Rob Findley

reorganize assignableTo predicate

#276672 opened 3 years ago by Matthew Dempsky

add a codeKind lookup array

#266799 opened 3 years ago by Rob Findley

customize error codes when checking assignability

#266798 opened 3 years ago by Rob Findley

introduce an interstitial typeAlias Type

#259447 opened 3 years ago by Rob Findley

decouple the type checker from go/ast

#255020 opened 3 years ago by Rob Findley

decouple the type checker from go/ast

#248722 opened 3 years ago by Rob Findley

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

#248357 opened 3 years ago by tdakkota

experiment with rewinding type-checking to check hypothetical AST changes

#241270 opened 3 years ago by Rob Findley

special handling for shifts inside string conversions

#241269 opened 3 years ago by Rob Findley

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

#241268 opened 3 years ago by Rob Findley

refactor error handling in convertUntyped

#241267 opened 3 years ago by Rob Findley

remove the concept of 'final' type from updateExprType

#241266 opened 3 years ago by Rob Findley

check var decls last, allowing some simplification

#241265 opened 3 years ago by Rob Findley

formalize the concept of phase

#241264 opened 3 years ago by Rob Findley

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

#241037 opened 3 years ago by tdakkota

eagerly complete interfaces

#239558 opened 3 years ago by Rob Findley

replace Config.UsesCgo with Checker.CgoFiles

#234526 opened 3 years ago by Matthew Dempsky

type-check _cgo_gotypes.go as its own Package

#234525 opened 3 years ago by Matthew Dempsky

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

#179184 opened 4 years ago by Robert Griesemer

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

#113855 opened 5 years ago by Shivansh Rai