// 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.

package main

// explicit conversion of constants is work in progress.
// the ERRORs in this block are debatable, but they're what
// the language spec says for now.
var x1 = string(1);
var x2 string = string(1);
var x3 = int(1.5);	// ERROR "convert|truncate"
var x4 int = int(1.5);	// ERROR "convert|truncate"
var x5 = "a" + string(1);
var x6 = int(1e100);	// ERROR "overflow"
var x7 = float(1e1000);	// ERROR "overflow"

// implicit conversions merit scrutiny
var s string;
var bad1 string = 1;	// ERROR "conver|incompatible|invalid|cannot"
var bad2 = s + 1;		// ERROR "conver|incompatible|invalid"
var bad3 = s + 'a';	// ERROR "conver|incompatible|invalid"
var bad4 = "a" + 1;	// ERROR "literals|incompatible|convert|invalid"
var bad5 = "a" + 'a';	// ERROR "literals|incompatible|convert|invalid"

var bad6 int = 1.5;	// ERROR "convert|truncate"
var bad7 int = 1e100;	// ERROR "overflow"
var bad8 float32 = 1e200;	// ERROR "overflow"

// but these implicit conversions are okay
var good1 string = "a";
var good2 int = 1.0;
var good3 int = 1e9;
var good4 float = 1e20;

// explicit conversion of string is okay
var _ = []int("abc")
var _ = []byte("abc")

// implicit is not
var _ []int = "abc"	// ERROR "cannot use|incompatible|invalid"
var _ []byte = "abc"	// ERROR "cannot use|incompatible|invalid"

// named string is okay
type Tstring string
var ss Tstring = "abc"
var _ = []int(ss)
var _ = []byte(ss)

// implicit is still not
var _ []int = ss	// ERROR "cannot use|incompatible|invalid"
var _ []byte = ss	// ERROR "cannot use|incompatible|invalid"

// named slice is not
type Tint []int
type Tbyte []byte
var _ = Tint("abc")	// ERROR "convert|incompatible|invalid"
var _ = Tbyte("abc")	// ERROR "convert|incompatible|invalid"

// implicit is still not
var _ Tint = "abc"	// ERROR "cannot use|incompatible|invalid"
var _ Tbyte = "abc"	// ERROR "cannot use|incompatible|invalid"