// Copyright 2021 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 p4

type Pair[T1 interface{ M() }, T2 ~int] struct {
	f1 T1
	f2 T2
}

func NewPair[T1 interface{ M() }, T2 ~int](v1 T1, v2 T2) Pair[T1, T2] {
	return Pair[T1, T2]{f1: v1, f2: v2}
}

func (p Pair[X1, _]) First() X1 {
	return p.f1
}

<project>
  <parent>
    <artifactId>p3</artifactId>
    <groupId>maven</groupId>
    <version>1.0</version>
  </parent>
  <modelVersion>4.0.0</modelVersion>
  <groupId>maven</groupId>
  <artifactId>p4</artifactId>
  <packaging>jar</packaging>
  <name>p4</name>
  <version>1.0</version>

    <groupId>maven.t01</groupId>
    <version>1.0</version>
  </parent>
  <modelVersion>4.0.0</modelVersion>
  <groupId>maven.t01</groupId>
  <artifactId>p4</artifactId>
  <packaging>jar</packaging>
  <name>p4</name>
  <version>1.0</version>
  <organization>
    <name>p4-org</name>
  </organization>

    void testProjectInheritance() throws Exception {
        MavenProject p4 = getProject(projectFile("p4"));

        assertEquals("p4", p4.getName());

        // ----------------------------------------------------------------------
        // Value inherited from p3
        // ----------------------------------------------------------------------

        assertEquals("2000", p4.getInceptionYear());

pkg p4, func NewPair[$0 interface{ M }, $1 interface{ ~int }]($0, $1) Pair[$0, $1]
pkg p4, method (Pair[$0, $1]) Second() $1
pkg p4, method (Pair[$0, $1]) First() $0
pkg p4, type Pair[$0 interface{ M }, $1 interface{ ~int }] struct
pkg p4, func Clone[$0 interface{ ~[]$1 }, $1 interface{}]($0) $0

        // ----------------------------------------------------------------------
        // Check p4 value for org name
        // ----------------------------------------------------------------------

        MavenProject p4 = getProject(projectFile("maven.t01", "p4"));

        assertEquals("p4-org", p4.getOrganization().getName());
    }

    // ----------------------------------------------------------------------
    //
    // p4 inherits from p3
    // p3 inherits from p2
    // p2 inherits from p1
    // p1 inherits from p0
    // p0 inherits from super model
    //
    // or we can show it graphically as:
    //
    // p4 ---> p3 ---> p2 ---> p1 ---> p0 --> super model
    //

    <artifactId>p3</artifactId>
    <groupId>maven.t02</groupId>
    <version>1.0</version>
  </parent>
  <modelVersion>4.0.0</modelVersion>
  <groupId>maven.t02</groupId>
  <artifactId>p4</artifactId>
  <packaging>pom</packaging>
  <name>p4</name>
  <version>1.0</version>

<project>
  <parent>
    <artifactId>p0</artifactId>
    <groupId>maven</groupId>
    <version>1.0</version>
  </parent>
  <modelVersion>4.0.0</modelVersion>
  <groupId>maven</groupId>
  <artifactId>p4</artifactId>
  <packaging>pom</packaging>
  <name>p4</name>
  <version>1.0</version>
  <scm>
    <url>scm-url</url>
  </scm>
  <dependencyManagement>
    <dependencies>
      <dependency>
        <groupId>maven</groupId>

        <version>1.0</version>
      </dependency>
    </dependencies>
  </dependencyManagement>
  <modules>
    <module>p1</module>
    <module>p2</module>
    <module>p3</module>
    <module>p4</module>
  </modules>