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

import "sync"

type T struct {
	int
	sync.Mutex
}

func main() {
	{
		var x, y sync.Mutex
		x = y	// ERROR "assignment.*Mutex"
		_ = x
	}
	{
		var x, y T
		x = y	// ERROR "assignment.*Mutex"
		_ = x
	}
	{
		var x, y [2]sync.Mutex
		x = y	// ERROR "assignment.*Mutex"
		_ = x
	}
	{
		var x, y [2]T
		x = y	// ERROR "assignment.*Mutex"
		_ = x
	}
	{
		x := sync.Mutex{0, 0}	// ERROR "assignment.*Mutex"
		_ = x
	}
	{
		x := sync.Mutex{key: 0}	// ERROR "(unknown|assignment).*Mutex"
		_ = x
	}
	{
		x := &sync.Mutex{}	// ok
		var y sync.Mutex	// ok
		y = *x	// ERROR "assignment.*Mutex"
		*x = y	// ERROR "assignment.*Mutex"
		_ = x
		_ = y
	}		
}