Nilekh Chaudhari <******@****.***> 1668455870 +0000

   node [fontname = "Sans"];
   edge [fontname = "Sans"];

   "api" [shape="box", label=<<B>api</B>>, color="chartreuse3", bgcolor="chartreuse3", style="filled"]

   "compileOnlyApi" [shape="box", label=<<B>compileOnlyApi</B>>, color="chartreuse3", bgcolor="chartreuse3", style="filled"]

   "implementation" [shape="box", label=<<B>implementation</B>>, color="chartreuse3", bgcolor="chartreuse3", style="filled"]

// license that can be found in the LICENSE file.

package p

var x T[B]

type T[_ any] struct{}
type A T[B]
type B = T[A]

// test case from issue

var v Box[Step]
type Box[T any] struct{}
type Step = Box[StepBox]

   node [fontname = "Sans"];
   edge [fontname = "Sans"];

   "apiElements" [shape="box", label=<<B>apiElements</B>(C)>, color="pink", bgcolor="pink", style="filled"]
   "apiElements" -> "api"
   "apiElements" -> "compileOnlyApi"

   "api" [shape="box", label=<<B>api</B>>, color="chartreuse3", bgcolor="chartreuse3", style="filled"]
   "compileOnlyApi" [shape="box", label=<<B>compileOnlyApi</B>>, color="chartreuse3", bgcolor="chartreuse3", style="filled"]

    // Set menu links to operate on clicked box.
    setHrefParam('action-source', 'f', box.src);
    setHrefParam('action-source-tab', 'f', box.src);
    setHrefParam('action-focus', 'f', box.src);
    setHrefParam('action-ignore', 'i', box.src);
    setHrefParam('action-hide', 'h', box.src);
    setHrefParam('action-showfrom', 'sf', box.src);
    toggleClass(box.src, 'hilite2', true);
    actionTarget = box;

rder:2}.order-3{-webkit-box-ordinal-group:4;-ms-flex-order:3;order:3}.order-4{-webkit-box-ordinal-group:5;-ms-flex-order:4;order:4}.order-5{-webkit-box-ordinal-group:6;-ms-flex-order:5;order:5}.order-6{-webkit-box-ordinal-group:7;-ms-flex-order:6;order:6}.order-7{-webkit-box-ordinal-group:8;-ms-flex-order:7;order:7}.order-8{-webkit-box-ordinal-group:9;-ms-flex-order:8;order:8}.order-9{-webkit-box-ordinal-group:10;-ms-flex-order:9;order:9}.order-10{-webkit-box-ordinal-group:11;-ms-flex-order:10;o...

@startuml
box ":toolingApi side"
  participant ConsumerConnection
  participant ModelProducer
end box
box ":launcher side"
  participant DefaultConnection
  participant ProviderConnection
end box

ConsumerConnection -> ModelProducer: request
activate ModelProducer
ModelProducer -> DefaultConnection: request
note right
DefaultConnection has entry points to accept calls from different ToolingAPI versions
end note

var _ transform[step]

type box transform[step]
type step = pair[box]

// test case from issue

type Transform[T any] struct{ hold T }
type Pair[S, T any] struct {
	First  S
	Second T
}

var first Transform[Step]

// This line doesn't use the Step alias, and it compiles fine if you uncomment it.
var second Transform[Pair[Box, interface{}]]

type Box *Transform[Step]

// license that can be found in the LICENSE file.

package main

type Box[A any] struct {
	value A
}

func Nest[A /* ERROR "instantiation cycle" */ any](b Box[A], n int) interface{} {
	if n == 0 {
		return b
	}
	return Nest(Box[Box[A]]{b}, n-1)
}

func main() {
	Nest(Box[int]{0}, 10)

    font-family: 'Roboto Mono', 'Fira Mono', Consolas, Menlo, Monaco, 'Courier New', Courier, monospace;
    border-radius: 4px;
    padding: 75px 45px 35px;
    position: relative;
    -webkit-box-sizing: border-box;
            box-sizing: border-box;
    line-height: 1.2;
}

[data-termynal]:before {
    content: '';
    position: absolute;
    top: 15px;
    left: 15px;
    display: inline-block;
    width: 15px;