mirror of
https://github.com/golang/go
synced 2024-11-24 11:40:16 -07:00
565b5dc076
* Code for assignment, conversions now mirrors spec. * Changed some snprint -> smprint. * Renamed runtime functions to separate interface conversions from type assertions: convT2I, assertI2T, etc. * Correct checking of \U sequences. Fixes #840. Fixes #830. Fixes #778. R=ken2 CC=golang-dev https://golang.org/cl/1303042
69 lines
1.4 KiB
Go
69 lines
1.4 KiB
Go
// errchk $G -e $D/$F.go
|
|
|
|
// Copyright 2009 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.
|
|
|
|
// Test that basic operations on named types are valid
|
|
// and preserve the type.
|
|
|
|
package main
|
|
|
|
type Bool bool
|
|
|
|
type Map map[int]int
|
|
|
|
func (Map) M() {}
|
|
|
|
type Slice []byte
|
|
|
|
var slice Slice
|
|
|
|
func asBool(Bool) {}
|
|
func asString(String) {}
|
|
|
|
type String string
|
|
|
|
func main() {
|
|
var (
|
|
b Bool = true
|
|
i, j int
|
|
c = make(chan int)
|
|
m = make(Map)
|
|
)
|
|
|
|
asBool(b)
|
|
asBool(!b)
|
|
asBool(true)
|
|
asBool(*&b)
|
|
asBool(Bool(true))
|
|
asBool(1 != 2) // ERROR "cannot use.*type bool.*as type Bool"
|
|
asBool(i < j) // ERROR "cannot use.*type bool.*as type Bool"
|
|
|
|
_, b = m[2] // ERROR "cannot .* bool.*type Bool"
|
|
m[2] = 1, b // ERROR "cannot use.*type Bool.*as type bool"
|
|
|
|
b = c <- 1 // ERROR "cannot use.*type bool.*type Bool"
|
|
_ = b
|
|
asBool(c <- 1) // ERROR "cannot use.*type bool.*as type Bool"
|
|
|
|
_, b = <-c // ERROR "cannot .* bool.*type Bool"
|
|
_ = b
|
|
|
|
var inter interface{}
|
|
_, b = inter.(Map) // ERROR "cannot .* bool.*type Bool"
|
|
_ = b
|
|
|
|
var minter interface {
|
|
M()
|
|
}
|
|
_, b = minter.(Map) // ERROR "cannot .* bool.*type Bool"
|
|
_ = b
|
|
|
|
asBool(closed(c)) // ERROR "cannot use.*type bool.*as type Bool"
|
|
b = closed(c) // ERROR "cannot use.*type bool.*type Bool"
|
|
_ = b
|
|
|
|
asString(String(slice)) // ERROR "cannot convert slice"
|
|
}
|