// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

// Package predeclared is a go/doc test for handling of
// exported methods on locally-defined predeclared types.
// See issue 9860.
package predeclared

type error struct{}

// Must not be visible.
func (e error) Error() string {
	return ""
}

type bool int

// Must not be visible.

// Package predeclared is a go/doc test for handling of exported ...
PACKAGE predeclared

IMPORTPATH
	testdata/predeclared

FILENAMES

// Package predeclared is a go/doc test for handling of exported ...
PACKAGE predeclared

IMPORTPATH
	testdata/predeclared

FILENAMES

// Package predeclared is a go/doc test for handling of exported ...
PACKAGE predeclared

IMPORTPATH
	testdata/predeclared

FILENAMES
	testdata/predeclared.go

TYPES
	// 
	type bool int

	// Must not be visible. 
	func (b bool) String() string

	// 
	type error struct{}

	// Must not be visible. 

// for init (and main, but we're not in package main) we should only get one error
func init[P /* ERROR "func init must have no type parameters" */ any /* ERROR "predeclared any requires go1.18 or later" */]() {
}
func main[P /* ERROR "type parameter requires go1.18 or later" */ any /* ERROR "predeclared any requires go1.18 or later" */]() {
}

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

// The predeclared type comparable is not visible before Go 1.18.

package p

	func NotAFactory() int


TYPES
	// 
	type T struct{}	// T

	// 
	var V T	// v

	// 
	func (x *T) M()

	// Should only appear if AllDecls is set. 
	type comparable struct{}	// overrides a predeclared type comparable

	// Associated with comparable type if AllDecls is set. 
	func ComparableFactory() comparable

	// 
	type notExported int

	// 
	const (
		C1	notExported	= iota
		C2
		c3

// Associated with comparable type if AllDecls is set.
func ComparableFactory() comparable {}

// Should only appear if AllDecls is set.
type uint struct{} // overrides a predeclared type uint

// Should only appear if AllDecls is set.
type comparable struct{} // overrides a predeclared type comparable

// ----------------------------------------------------------------------------

// Note that using what looks like a predeclared identifier, say int,
// as type parameter in this situation is deceptive and considered bad
// style. In m3 below, int is the name of the local receiver type parameter
// and it shadows the predeclared identifier int which then cannot be used
// anymore as expected.
// This is no different from locally re-declaring a predeclared identifier

func (r *reader) cleanupTypes() {
	for _, t := range r.types {
		visible := r.isVisible(t.name)
		predeclared := predeclaredTypes[t.name]

		if t.decl == nil && (predeclared || visible && (t.isEmbedded || r.hasDotImp)) {
			// t.name is a predeclared type (and was not redeclared in this package),
			// or it was embedded somewhere but its declaration is missing (because