- Sort Score
- Result 10 results
- Languages All
Results 1 - 8 of 8 for issue45928 (0.15 sec)
-
test/prove.go
return } func issue51622(b []byte) int { if len(b) >= 3 && b[len(b)-3] == '#' { // ERROR "Proved IsInBounds$" return len(b) } return 0 } func issue45928(x int) { combinedFrac := x / (x | (1 << 31)) // ERROR "Proved Neq64$" useInt(combinedFrac) } //go:noinline func useInt(a int) { } //go:noinline func useSlice(a []int) { }
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Jan 23 00:02:36 UTC 2024 - 21.2K bytes - Viewed (0) -
src/internal/types/testdata/fixedbugs/issue45985.go
// Copyright 2021 The Go Authors. All rights reserved. // Use of this source code is governed by a BSD-style // license that can be found in the LICENSE file. package issue45985 func app[S interface{ ~[]T }, T any](s S, e T) S { return append(s, e) } func _() { _ = app /* ERROR "S (type int) does not satisfy interface{~[]T}" */ [int] // TODO(gri) better error message
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Wed May 31 22:48:09 UTC 2023 - 377 bytes - Viewed (0) -
src/internal/types/testdata/fixedbugs/issue45920.go
Robert Griesemer <******@****.***> 1670545237 -0800
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Jan 17 19:54:27 UTC 2023 - 592 bytes - Viewed (0) -
src/internal/types/testdata/fixedbugs/issue49592.go
Robert Griesemer <******@****.***> 1662082688 -0700
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Fri Sep 02 02:58:32 UTC 2022 - 235 bytes - Viewed (0) -
src/internal/types/testdata/fixedbugs/issue45548.go
Robert Griesemer <******@****.***> 1662082688 -0700
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Fri Sep 02 02:58:32 UTC 2022 - 302 bytes - Viewed (0) -
src/internal/types/testdata/fixedbugs/issue47968.go
Robert Griesemer <******@****.***> 1692741237 -0700
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Thu Nov 09 17:24:42 UTC 2023 - 684 bytes - Viewed (0) -
src/internal/types/testdata/check/methodsets.go
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Jan 17 19:54:27 UTC 2023 - 3.5K bytes - Viewed (0) -
src/go/internal/gcimporter/gcimporter_test.go
// This package only handles gc export data. if runtime.Compiler != "gc" { t.Skipf("gc-built packages not available (compiler = %s)", runtime.Compiler) } compileAndImportPkg(t, "issue15920") } func TestIssue20046(t *testing.T) { testenv.MustHaveGoBuild(t) // This package only handles gc export data. if runtime.Compiler != "gc" {
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Fri May 17 16:22:59 UTC 2024 - 21.9K bytes - Viewed (0)