Go: extract explicit alias types#18283

Closed

owen-mc wants to merge 43 commits intogithub:mainfrom

owen-mc:go/extract-alias-types

Commits on Jan 21, 2025

Go: Update dbscheme for aliases

mbg
authored and
owen-mc
committed
Go: Extract type aliases

mbg
authored and
owen-mc
committed
Go: Extract alias names

mbg
authored and
owen-mc
committed
Go: Fix formatting and documentation of `AliasType`

mbg
authored and
owen-mc
committed
Go: Update `AliasType` to implement `getUnderlyingType`

mbg
authored and
owen-mc
committed
Go: Extract objects for aliases

mbg
authored and
owen-mc
committed
Factor out `extractTypeObject`
owen-mc
committed
Fix alias use in HTML template escaping passthrough
owen-mc
committed
Use unique type param names in test
owen-mc
committed
Fix syntax error in test
owen-mc
committed
Improve `AliasType.getUnderlyingType`
owen-mc
committed
Update labels for alias types
owen-mc
committed
Add change note
owen-mc
committed
Look through aliases in hasOwnField

smowton
authored and
owen-mc
committed
Implement deep unaliasing, and use it in interface dispatch resolution

smowton
authored and
owen-mc
committed
Transparent aliases: don't look through named types

smowton
authored and
owen-mc
committed
Transparent aliases: don't write an invalid type to the @types table on extracting an alias

smowton
authored and
owen-mc
committed
Distinguish types with and without explicit aliases in the type-label cache

smowton
authored and
owen-mc
committed
Fix Mongodb additional taint step

smowton
authored and
owen-mc
committed
Don't repeat parts of extractType that populate tracking tables

smowton
authored and
owen-mc
committed
Fix flow through pointer types related by aliasing

smowton
authored and
owen-mc
committed
Fix missed case

smowton
authored and
owen-mc
committed
Improve efficiency of composite-type deep-unalias computation

smowton
authored and
owen-mc
committed
Make deep-unalias computation even more efficient using unpack routines

smowton
authored and
owen-mc
committed
Only extract transparent-alias versions of types when necessary

smowton
authored and
owen-mc
committed
Fix struct deepUnaliasedType predicate

smowton
authored and
owen-mc
committed
Implement deep-unalias for interface types

smowton
authored and
owen-mc
committed
Fix TupleType's getDeepUnaliasedType, and make it efficient

smowton
authored and
owen-mc
committed
autoformat and tidy an unnecessary direct db relation use

smowton
authored and
owen-mc
committed
Interface unaliasing: don't confuse the empty interface with the type 'comparable'

smowton
authored and
owen-mc
committed
Ensure fields are created for de-aliased struct types

smowton
authored and
owen-mc
committed
Interface types: distinguish otherwise-identical interfaces with non-exported methods defined in different packages
owen-mc
committed
Upgrade/downgrade scripts
owen-mc
committed
Accept test changes
owen-mc
committed
Make four predicates private
owen-mc
committed

Commits on Jan 22, 2025

Commits on Jan 27, 2025

Changed test expectations to investigate
owen-mc
committed