return x + 1
}

type MyString string
func double[T interface{MyInt|MyString}](x T) T {
	return x + x
}

// Embedding of interfaces with term lists leads to interfaces
// with term lists that are the intersection of the embedded
// term lists.

type E0 interface {
	~int | ~bool | ~string
}

type E1 interface {
	~int | ~float64 | ~string
}

type E2 interface {
	~float64

	{V(MyString("hello")), V(string("hello"))},
	{V(string("hello")), V(MyString("hello"))},
	{V(string("hello")), V(string("hello"))},
	{V(MyString("hello")), V(MyString("hello"))},
	{V(MyString("bytes1")), V([]byte("bytes1"))},
	{V([]byte("bytes2")), V(MyString("bytes2"))},
	{V([]byte("bytes3")), V([]byte("bytes3"))},
	{V(MyString("runes♝")), V([]rune("runes♝"))},
	{V([]rune("runes♕")), V(MyString("runes♕"))},

// range iteration

func _[T interface{}](x T) {
        for range x /* ERROR "cannot range" */ {}
}

type myString string

func _[
        B1 interface{ string },
        B2 interface{ string | myString },

        C1 interface{ chan int },
        C2 interface{ chan int | <-chan int },
        C3 interface{ chan<- int },

        S1 interface{ []int },

	_ = c[3 /* ERRORx `index .* out of bounds` */ ]
	_ = ""[0 /* ERRORx `index .* out of bounds` */ ]
	_ = c2

	_ = s[1<<30] // no compile-time error here

	// issue 4913
	type mystring string
	var ss string
	var ms mystring
	var i, j int
	ss = "foo"[1:2]
	ss = "foo"[i:j]
	ms = "foo" /* ERRORx `cannot use .* in assignment` */ [1:2]
	ms = "foo" /* ERRORx `cannot use .* in assignment` */ [i:j]
	_, _ = ss, ms

float64(-1e-1000)        // 0.0 of type float64
string('x')              // "x" of type string
string(0x266c)           // "♬" of type string
myString("foo" + "bar")  // "foobar" of type myString
string([]byte{'a'})      // not a constant: []byte{'a'} is not a constant
(*int)(nil)              // not a constant: nil is not a constant, *int is not a boolean, numeric, or string type

float64(-1e-1000)        // 0.0 of type float64
string('x')              // "x" of type string
string(0x266c)           // "♬" of type string
MyString("foo" + "bar")  // "foobar" of type MyString
string([]byte{'a'})      // not a constant: []byte{'a'} is not a constant
(*int)(nil)              // not a constant: nil is not a constant, *int is not a boolean, numeric, or string type

		b = b[len(x):]
	}
	return s
}

func concatstring2(buf *tmpBuf, a0, a1 string) string {
	return concatstrings(buf, []string{a0, a1})
}

func concatstring3(buf *tmpBuf, a0, a1, a2 string) string {
	return concatstrings(buf, []string{a0, a1, a2})
}

func concatstring4(buf *tmpBuf, a0, a1, a2, a3 string) string {
	return concatstrings(buf, []string{a0, a1, a2, a3})
}

      }

      @Test
      @TestMetadata("MyString.kt")
      public void testMyString() {
        runTest("analysis/analysis-api/testData/components/resolver/singleByPsi/typeAlias/missingDependency/MyString.kt");
      }

      @Test
      @TestMetadata("NestedAsymmetricAliasOnlyResolveAsymmetricAlias.kt")

      }

      @Test
      @TestMetadata("MyString.kt")
      public void testMyString() {
        runTest("analysis/analysis-api/testData/components/resolver/singleByPsi/typeAlias/missingDependency/MyString.kt");
      }

      @Test
      @TestMetadata("NestedAsymmetricAliasOnlyResolveAsymmetricAlias.kt")

      }

      @Test
      @TestMetadata("MyString.kt")
      public void testMyString() {
        runTest("analysis/analysis-api/testData/components/resolver/singleByPsi/typeAlias/missingDependency/MyString.kt");
      }

      @Test
      @TestMetadata("NestedAsymmetricAliasOnlyResolveAsymmetricAlias.kt")