go/types — validation proof

Go’s own go/types test suite, converted to C# by go2cs, built against the converted standard library, run under the Go-semantics test host, and compared verdict for verdict against a clean go test -json baseline of the same sources. This page is generated by the converter from that comparison — it is the evidence behind the go/types row in Validated Test Packages.

Validated 2026-08-27 · converter 2ac5e6646

557 matched · 0 disclosed — Go 1.23.12, windows/amd64, converted package src/core/go/types.

Both runtimes skip 1 of the matched tests identically.

Verdicts

Test go test go2cs
TestAlias_Rhs pass pass
TestAlignofNaclSlice pass pass
TestAnyHijacking_Check pass pass
TestAnyHijacking_Check/EnableAlias=false pass pass
TestAnyHijacking_Check/EnableAlias=true pass pass
TestAnyHijacking_Lookup pass pass
TestAnyHijacking_Lookup/EnableAlias=false pass pass
TestAnyHijacking_Lookup/EnableAlias=true pass pass
TestArgumentErrorUnwrapping pass pass
TestAssignOp pass pass
TestAssignableTo pass pass
TestAtomicAlign pass pass
TestAtomicAlign/386 pass pass
TestAtomicAlign/amd64 pass pass
TestBuiltinSignatures pass pass
TestCheck pass pass
TestCheck/blank.go pass pass
TestCheck/builtins0.go pass pass
TestCheck/builtins1.go pass pass
TestCheck/chans.go pass pass
TestCheck/compliterals.go pass pass
TestCheck/const0.go pass pass
TestCheck/const1.go pass pass
TestCheck/constdecl.go pass pass
TestCheck/conversions0.go pass pass
TestCheck/conversions1.go pass pass
TestCheck/cycles0.go pass pass
TestCheck/cycles1.go pass pass
TestCheck/cycles2.go pass pass
TestCheck/cycles3.go pass pass
TestCheck/cycles4.go pass pass
TestCheck/cycles5.go pass pass
TestCheck/cycles5a.go pass pass
TestCheck/decls0.go pass pass
TestCheck/decls1.go pass pass
TestCheck/decls2 pass pass
TestCheck/decls3.go pass pass
TestCheck/decls4.go pass pass
TestCheck/decls5.go pass pass
TestCheck/errors.go pass pass
TestCheck/expr0.go pass pass
TestCheck/expr1.go pass pass
TestCheck/expr2.go pass pass
TestCheck/expr3.go pass pass
TestCheck/funcinference.go pass pass
TestCheck/go1_12.go pass pass
TestCheck/go1_13.go pass pass
TestCheck/go1_16.go pass pass
TestCheck/go1_19.go pass pass
TestCheck/go1_19_20.go pass pass
TestCheck/go1_20_19.go pass pass
TestCheck/go1_21_19.go pass pass
TestCheck/go1_21_22.go pass pass
TestCheck/go1_22_21.go pass pass
TestCheck/go1_8.go pass pass
TestCheck/go1_xx_19.go pass pass
TestCheck/gotos.go pass pass
TestCheck/importC.go pass pass
TestCheck/importdecl0 pass pass
TestCheck/importdecl1 pass pass
TestCheck/init0.go pass pass
TestCheck/init1.go pass pass
TestCheck/init2.go pass pass
TestCheck/issue25008 pass pass
TestCheck/issues0.go pass pass
TestCheck/issues1.go pass pass
TestCheck/labels.go pass pass
TestCheck/linalg.go pass pass
TestCheck/literals.go pass pass
TestCheck/lookup1.go pass pass
TestCheck/lookup2.go pass pass
TestCheck/main0.go pass pass
TestCheck/main1.go pass pass
TestCheck/map0.go pass pass
TestCheck/map1.go pass pass
TestCheck/methodsets.go pass pass
TestCheck/shifts.go pass pass
TestCheck/slices.go pass pass
TestCheck/stmt0.go pass pass
TestCheck/stmt1.go pass pass
TestCheck/typeinference.go pass pass
TestCheck/typeinst0.go pass pass
TestCheck/typeinst1.go pass pass
TestCheck/typeinstcycles.go pass pass
TestCheck/typeparams.go pass pass
TestCheck/unions.go pass pass
TestCheck/vardecl.go pass pass
TestCheckExpr pass pass
TestCommentMap pass pass
TestCompositeLitTypes pass pass
TestContextHashCollisions pass pass
TestConvertibleTo pass pass
TestDefsInfo pass pass
TestEmbeddedMethod pass pass
TestError pass pass
TestErrorCalls pass pass
TestErrorURL pass pass
TestEvalArith pass pass
TestEvalBasic pass pass
TestEvalComposite pass pass
TestEvalPos pass pass
TestExamples pass pass
TestExamples/constraints.go pass pass
TestExamples/functions.go pass pass
TestExamples/inference.go pass pass
TestExamples/inference2.go pass pass
TestExamples/methods.go pass pass
TestExamples/operations.go pass pass
TestExamples/types.go pass pass
TestExamples/typesets.go pass pass
TestExprString pass pass
TestFailedImport pass pass
TestFileVersions pass pass
TestFiles pass pass
TestFiniteTypeExpansion pass pass
TestFixedbugs pass pass
TestFixedbugs/issue20583.go pass pass
TestFixedbugs/issue23203a.go pass pass
TestFixedbugs/issue23203b.go pass pass
TestFixedbugs/issue25838.go pass pass
TestFixedbugs/issue26390.go pass pass
TestFixedbugs/issue28251.go pass pass
TestFixedbugs/issue3117.go pass pass
TestFixedbugs/issue39634.go pass pass
TestFixedbugs/issue39664.go pass pass
TestFixedbugs/issue39680.go pass pass
TestFixedbugs/issue39693.go pass pass
TestFixedbugs/issue39699.go pass pass
TestFixedbugs/issue39711.go pass pass
TestFixedbugs/issue39723.go pass pass
TestFixedbugs/issue39725.go pass pass
TestFixedbugs/issue39754.go pass pass
TestFixedbugs/issue39755.go pass pass
TestFixedbugs/issue39768.go pass pass
TestFixedbugs/issue39938.go pass pass
TestFixedbugs/issue39948.go pass pass
TestFixedbugs/issue39976.go pass pass
TestFixedbugs/issue39982.go pass pass
TestFixedbugs/issue40038.go pass pass
TestFixedbugs/issue40056.go pass pass
TestFixedbugs/issue40057.go pass pass
TestFixedbugs/issue40301.go pass pass
TestFixedbugs/issue40350.go pass pass
TestFixedbugs/issue40684.go pass pass
TestFixedbugs/issue40789.go pass pass
TestFixedbugs/issue41124.go pass pass
TestFixedbugs/issue41176.go pass pass
TestFixedbugs/issue42695.go pass pass
TestFixedbugs/issue42758.go pass pass
TestFixedbugs/issue42881.go pass pass
TestFixedbugs/issue42987.go pass pass
TestFixedbugs/issue43056.go pass pass
TestFixedbugs/issue43087.go pass pass
TestFixedbugs/issue43109.go pass pass
TestFixedbugs/issue43110.go pass pass
TestFixedbugs/issue43124.go pass pass
TestFixedbugs/issue43125.go pass pass
TestFixedbugs/issue43190.go pass pass
TestFixedbugs/issue43527.go pass pass
TestFixedbugs/issue43671.go pass pass
TestFixedbugs/issue44688.go pass pass
TestFixedbugs/issue44799.go pass pass
TestFixedbugs/issue45114.go pass pass
TestFixedbugs/issue45548.go pass pass
TestFixedbugs/issue45550.go pass pass
TestFixedbugs/issue45635.go pass pass
TestFixedbugs/issue45639.go pass pass
TestFixedbugs/issue45920.go pass pass
TestFixedbugs/issue45985.go pass pass
TestFixedbugs/issue46090.go pass pass
TestFixedbugs/issue46275.go pass pass
TestFixedbugs/issue46403.go pass pass
TestFixedbugs/issue46404.go pass pass
TestFixedbugs/issue46461.go pass pass
TestFixedbugs/issue46461a.go pass pass
TestFixedbugs/issue46583.go pass pass
TestFixedbugs/issue47031.go pass pass
TestFixedbugs/issue47115.go pass pass
TestFixedbugs/issue47127.go pass pass
TestFixedbugs/issue47411.go pass pass
TestFixedbugs/issue47747.go pass pass
TestFixedbugs/issue47796.go pass pass
TestFixedbugs/issue47818.go pass pass
TestFixedbugs/issue47887.go pass pass
TestFixedbugs/issue47968.go pass pass
TestFixedbugs/issue48008.go pass pass
TestFixedbugs/issue48018.go pass pass
TestFixedbugs/issue48048.go pass pass
TestFixedbugs/issue48082.go pass pass
TestFixedbugs/issue48083.go pass pass
TestFixedbugs/issue48136.go pass pass
TestFixedbugs/issue48234.go pass pass
TestFixedbugs/issue48312.go pass pass
TestFixedbugs/issue48472.go pass pass
TestFixedbugs/issue48529.go pass pass
TestFixedbugs/issue48582.go pass pass
TestFixedbugs/issue48619.go pass pass
TestFixedbugs/issue48656.go pass pass
TestFixedbugs/issue48695.go pass pass
TestFixedbugs/issue48703.go pass pass
TestFixedbugs/issue48712.go pass pass
TestFixedbugs/issue48819.go pass pass
TestFixedbugs/issue48827.go pass pass
TestFixedbugs/issue48951.go pass pass
TestFixedbugs/issue48962.go pass pass
TestFixedbugs/issue48974.go pass pass
TestFixedbugs/issue49003.go pass pass
TestFixedbugs/issue49005.go pass pass
TestFixedbugs/issue49043.go pass pass
TestFixedbugs/issue49112.go pass pass
TestFixedbugs/issue49179.go pass pass
TestFixedbugs/issue49242.go pass pass
TestFixedbugs/issue49247.go pass pass
TestFixedbugs/issue49276.go pass pass
TestFixedbugs/issue49296.go pass pass
TestFixedbugs/issue49439.go pass pass
TestFixedbugs/issue49482.go pass pass
TestFixedbugs/issue49541.go pass pass
TestFixedbugs/issue49579.go pass pass
TestFixedbugs/issue49592.go pass pass
TestFixedbugs/issue49602.go pass pass
TestFixedbugs/issue49705.go pass pass
TestFixedbugs/issue49735.go pass pass
TestFixedbugs/issue49736.go pass pass
TestFixedbugs/issue49739.go pass pass
TestFixedbugs/issue49864.go pass pass
TestFixedbugs/issue50259.go pass pass
TestFixedbugs/issue50276.go pass pass
TestFixedbugs/issue50281.go pass pass
TestFixedbugs/issue50321.go pass pass
TestFixedbugs/issue50372.go pass pass
TestFixedbugs/issue50417.go pass pass
TestFixedbugs/issue50426.go pass pass
TestFixedbugs/issue50427.go pass pass
TestFixedbugs/issue50450.go pass pass
TestFixedbugs/issue50516.go pass pass
TestFixedbugs/issue50646.go pass pass
TestFixedbugs/issue50729.go pass pass
TestFixedbugs/issue50729b.go pass pass
TestFixedbugs/issue50755.go pass pass
TestFixedbugs/issue50779.go pass pass
TestFixedbugs/issue50779a.go pass pass
TestFixedbugs/issue50782.go pass pass
TestFixedbugs/issue50816.go pass pass
TestFixedbugs/issue50833.go pass pass
TestFixedbugs/issue50912.go pass pass
TestFixedbugs/issue50918.go pass pass
TestFixedbugs/issue50929.go pass pass
TestFixedbugs/issue50965.go pass pass
TestFixedbugs/issue51025.go pass pass
TestFixedbugs/issue51048.go pass pass
TestFixedbugs/issue51139.go pass pass
TestFixedbugs/issue51145.go pass pass
TestFixedbugs/issue51158.go pass pass
TestFixedbugs/issue51229.go pass pass
TestFixedbugs/issue51232.go pass pass
TestFixedbugs/issue51233.go pass pass
TestFixedbugs/issue51257.go pass pass
TestFixedbugs/issue51335.go pass pass
TestFixedbugs/issue51339.go pass pass
TestFixedbugs/issue51360.go pass pass
TestFixedbugs/issue51376.go pass pass
TestFixedbugs/issue51386.go pass pass
TestFixedbugs/issue51437.go pass pass
TestFixedbugs/issue51472.go pass pass
TestFixedbugs/issue51509.go pass pass
TestFixedbugs/issue51525.go pass pass
TestFixedbugs/issue51533.go pass pass
TestFixedbugs/issue51578.go pass pass
TestFixedbugs/issue51593.go pass pass
TestFixedbugs/issue51607.go pass pass
TestFixedbugs/issue51610.go pass pass
TestFixedbugs/issue51616.go pass pass
TestFixedbugs/issue51658.go pass pass
TestFixedbugs/issue51877.go pass pass
TestFixedbugs/issue52031.go pass pass
TestFixedbugs/issue52401.go pass pass
TestFixedbugs/issue52529.go pass pass
TestFixedbugs/issue52698.go pass pass
TestFixedbugs/issue52915.go pass pass
TestFixedbugs/issue53358.go pass pass
TestFixedbugs/issue53650.go pass pass
TestFixedbugs/issue53692.go pass pass
TestFixedbugs/issue54280.go pass pass
TestFixedbugs/issue54405.go pass pass
TestFixedbugs/issue54424.go pass pass
TestFixedbugs/issue54942.go pass pass
TestFixedbugs/issue56351.go pass pass
TestFixedbugs/issue56425.go pass pass
TestFixedbugs/issue56665.go pass pass
TestFixedbugs/issue57155.go pass pass
TestFixedbugs/issue57160.go pass pass
TestFixedbugs/issue57192.go pass pass
TestFixedbugs/issue57352.go pass pass
TestFixedbugs/issue57486.go pass pass
TestFixedbugs/issue57500.go pass pass
TestFixedbugs/issue57522.go pass pass
TestFixedbugs/issue58611.go pass pass
TestFixedbugs/issue58612.go pass pass
TestFixedbugs/issue58671.go pass pass
TestFixedbugs/issue58742.go pass pass
TestFixedbugs/issue59190.go pass pass
TestFixedbugs/issue59207.go pass pass
TestFixedbugs/issue59209.go pass pass
TestFixedbugs/issue59338a.go pass pass
TestFixedbugs/issue59338b.go pass pass
TestFixedbugs/issue59371.go pass pass
TestFixedbugs/issue59639.go pass pass
TestFixedbugs/issue59740.go pass pass
TestFixedbugs/issue59848.go pass pass
TestFixedbugs/issue59890.go pass pass
TestFixedbugs/issue59953.go pass pass
TestFixedbugs/issue59956.go pass pass
TestFixedbugs/issue59958.go pass pass
TestFixedbugs/issue60346.go pass pass
TestFixedbugs/issue60377.go pass pass
TestFixedbugs/issue60434.go pass pass
TestFixedbugs/issue60460.go pass pass
TestFixedbugs/issue60500.go pass pass
TestFixedbugs/issue60542.go pass pass
TestFixedbugs/issue60556.go pass pass
TestFixedbugs/issue60562.go pass pass
TestFixedbugs/issue60688.go pass pass
TestFixedbugs/issue60747.go pass pass
TestFixedbugs/issue60906.go pass pass
TestFixedbugs/issue60933.go pass pass
TestFixedbugs/issue60946.go pass pass
TestFixedbugs/issue61486.go pass pass
TestFixedbugs/issue61685.go pass pass
TestFixedbugs/issue61822.go pass pass
TestFixedbugs/issue61879.go pass pass
TestFixedbugs/issue61903.go pass pass
TestFixedbugs/issue62157.go pass pass
TestFixedbugs/issue63563.go pass pass
TestFixedbugs/issue64406.go pass pass
TestFixedbugs/issue64704.go pass pass
TestFixedbugs/issue65344.go pass pass
TestFixedbugs/issue65711.go pass pass
TestFixedbugs/issue65854.go pass pass
TestFixedbugs/issue66064.go pass pass
TestFixedbugs/issue66285.go pass pass
TestFixedbugs/issue66323.go pass pass
TestFixedbugs/issue66878.go pass pass
TestFixedbugs/issue67547.go pass pass
TestFixedbugs/issue67628.go pass pass
TestFixedbugs/issue67683.go pass pass
TestFixedbugs/issue67872.go pass pass
TestFixedbugs/issue67962.go pass pass
TestFixedbugs/issue68903.go pass pass
TestFixedbugs/issue68935.go pass pass
TestFixedbugs/issue6977.go pass pass
TestGCSizes pass pass
TestGCSizes/issue60431 pass pass
TestGCSizes/issue60734 pass pass
TestGenerate pass pass
TestGenericMethodInfo pass pass
TestHilbert pass pass
TestIdentical pass pass
TestIdenticalUnions pass pass
TestIdentical_issue15173 pass pass
TestImmutableSignatures pass pass
TestImplements pass pass
TestImplicitsInfo pass pass
TestIndexRepresentability pass pass
TestInitOrderInfo pass pass
TestInstanceIdentity pass pass
TestInstanceInfo pass pass
TestInstanceInfo/duplfunc0 pass pass
TestInstanceInfo/duplfunc1 pass pass
TestInstanceInfo/dupltype0 pass pass
TestInstanceInfo/dupltype1 pass pass
TestInstanceInfo/dupltype1#01 pass pass
TestInstanceInfo/i0 pass pass
TestInstanceInfo/issue51803 pass pass
TestInstanceInfo/issue59956 pass pass
TestInstanceInfo/p0 pass pass
TestInstanceInfo/p1 pass pass
TestInstanceInfo/p2 pass pass
TestInstanceInfo/p3 pass pass
TestInstanceInfo/p4 pass pass
TestInstanceInfo/reverse1a pass pass
TestInstanceInfo/reverse1b pass pass
TestInstanceInfo/reverse2a pass pass
TestInstanceInfo/reverse2b pass pass
TestInstanceInfo/reverse2c pass pass
TestInstanceInfo/reverse3b pass pass
TestInstanceInfo/reverse4a pass pass
TestInstanceInfo/reverse4b pass pass
TestInstanceInfo/s1 pass pass
TestInstanceInfo/s2 pass pass
TestInstanceInfo/s3 pass pass
TestInstanceInfo/s4 pass pass
TestInstanceInfo/t1 pass pass
TestInstanceInfo/t2 pass pass
TestInstanceInfo/t3 pass pass
TestInstanceInfo/t4 pass pass
TestInstanceInfo/type0 pass pass
TestInstanceInfo/type1 pass pass
TestInstanceInfo/type2 pass pass
TestInstanceInfo/type3 pass pass
TestInstanceInfo/type4 pass pass
TestInstantiate pass pass
TestInstantiateConcurrent pass pass
TestInstantiateEquality pass pass
TestInstantiateEquality/basicfunc pass pass
TestInstantiateEquality/basictype pass pass
TestInstantiateEquality/differentfuncargs pass pass
TestInstantiateEquality/differenttypeargs pass pass
TestInstantiateEquality/equivalentinterfaces pass pass
TestInstantiateEquality/equivalenttypesets pass pass
TestInstantiateEquality/funcequality pass pass
TestInstantiateEquality/funcslice pass pass
TestInstantiateEquality/funcsymmetry pass pass
TestInstantiateEquality/funcwithparams pass pass
TestInstantiateEquality/typeslice pass pass
TestInstantiateErrors pass pass
TestInstantiateNonEquality pass pass
TestInstantiatedObjects pass pass
TestInstantiatedObjects/concreteMethod pass pass
TestInstantiatedObjects/fParam pass pass
TestInstantiatedObjects/fResult pass pass
TestInstantiatedObjects/field pass pass
TestInstantiatedObjects/field#01 pass pass
TestInstantiatedObjects/ftParam pass pass
TestInstantiatedObjects/ftResult pass pass
TestInstantiatedObjects/interfaceMethod pass pass
TestInstantiatedObjects/mParam pass pass
TestInstantiatedObjects/mResult pass pass
TestInstantiatedObjects/recv pass pass
TestInvalidTypeSet pass pass
TestIsAlias pass pass
TestIssue13898 pass pass
TestIssue15305 pass pass
TestIssue16902 pass pass
TestIssue22525 pass pass
TestIssue25627 pass pass
TestIssue28005 pass pass
TestIssue28282 pass pass
TestIssue29029 pass pass
TestIssue34151 pass pass
TestIssue34921 pass pass
TestIssue43088 pass pass
TestIssue43124 pass pass
TestIssue44410 pass pass
TestIssue44515 pass pass
TestIssue47243_TypedRHS pass pass
TestIssue50646 pass pass
TestIssue51093 pass pass
TestIssue54258 pass pass
TestIssue55030 pass pass
TestIssue5770 pass pass
TestIssue5849 pass pass
TestIssue59603 pass pass
TestIssue59831 pass pass
TestIssue59944 skip skip
TestIssue60634 pass pass
TestIssue61737 pass pass
TestIssue61931 pass pass
TestIssue61938 pass pass
TestIssue63260 pass pass
TestIssue6413 pass pass
TestIssue64759 pass pass
TestIssue65898 pass pass
TestIssue68334 pass pass
TestIssue68877 pass pass
TestIssue7245 pass pass
TestIssue7827 pass pass
TestIssue8518 pass pass
TestLocal pass pass
TestLocal/issue47996.go pass pass
TestLocal/shifts.go pass pass
TestLongConstants pass pass
TestLookupFieldOrMethod pass pass
TestLookupFieldOrMethodOnNil pass pass
TestLookupFieldOrMethod_RecursiveGeneric pass pass
TestManual pass pass
TestMethodInstantiation pass pass
TestMethodOrdering pass pass
TestMissingMethodAlternative pass pass
TestModuleVersion pass pass
TestMonoBad pass pass
TestMonoGood pass pass
TestMultiFileInitOrder pass pass
TestMultipleSizeUse pass pass
TestNewAlias_Issue65455 pass pass
TestNewMethodSet pass pass
TestNewMethodSet_RecursiveGeneric pass pass
TestObjectParents pass pass
TestObjectString pass pass
TestObjectString/0 pass pass
TestObjectString/1 pass pass
TestObjectString/10 pass pass
TestObjectString/11 pass pass
TestObjectString/12 pass pass
TestObjectString/13 pass pass
TestObjectString/14 pass pass
TestObjectString/15 pass pass
TestObjectString/2 pass pass
TestObjectString/3 pass pass
TestObjectString/4 pass pass
TestObjectString/5 pass pass
TestObjectString/6 pass pass
TestObjectString/7 pass pass
TestObjectString/8 pass pass
TestObjectString/9 pass pass
TestPkgNameOf pass pass
TestPredicatesInfo pass pass
TestQualifiedTypeString pass pass
TestResolveIdents pass pass
TestScopeLookupParent pass pass
TestScopesInfo pass pass
TestSelection pass pass
TestSelf pass pass
TestSizeof pass pass
TestSpec pass pass
TestSpec/assignability.go pass pass
TestSpec/comparable.go pass pass
TestSpec/comparable1.19.go pass pass
TestSpec/comparisons.go pass pass
TestSpec/conversions.go pass pass
TestSpec/range.go pass pass
TestSpec/range_int.go pass pass
TestSpec/typeAliases1.22.go pass pass
TestSpec/typeAliases1.23a.go pass pass
TestSpec/typeAliases1.23b.go pass pass
TestSpec/typeAliases1.8.go pass pass
TestStdFixed pass pass
TestStdKen pass pass
TestStdTest pass pass
TestStdlib pass pass
TestStripAnnotations pass pass
TestTermDisjoint pass pass
TestTermEqual pass pass
TestTermIncludes pass pass
TestTermIntersection pass pass
TestTermString pass pass
TestTermSubsetOf pass pass
TestTermUnion pass pass
TestTermlistAll pass pass
TestTermlistEqual pass pass
TestTermlistIncludes pass pass
TestTermlistIntersect pass pass
TestTermlistIsAll pass pass
TestTermlistIsEmpty pass pass
TestTermlistNorm pass pass
TestTermlistString pass pass
TestTermlistSubsetOf pass pass
TestTermlistSupersetOf pass pass
TestTermlistUnion pass pass
TestTooNew pass pass
TestTypeSetString pass pass
TestTypeString pass pass
TestTypesInfo pass pass
TestUnaliasTooSoonInCycle pass pass
TestUsesInfo pass pass
TestValuesInfo pass pass
TestZeroTok pass pass

Excluded declarations

Declarations filtered from both sides of the comparison, and therefore not claimed above: Benchmark, Fuzz and Example declarations the converted host does not execute, plus any test requiring a capability the managed runtime does not provide — a testing member the host has not implemented, or a platform behavior it provably cannot reproduce. Each is named with the capability it needs.