// You can edit this code!
// Click here and start typing.
package main

import "fmt"

type Thing[T any] struct {
	A T
}

func (t Thing[T]) PrintThing(inputParam int) {
	fmt.Printf("Print thing 'self': %v\n", t)
	fmt.Printf("Print thing param: %v\n", inputParam)
}

func (t Thing[int]) PrintThing2(inputParam int) {
	fmt.Printf("Print thing 2 'self': %v\n", t)
	fmt.Printf("Print thing 2 param: %v\n", inputParam)
}

func main() {
	one := Thing[int]{}
	two := Thing[string]{"Two"}

	one.PrintThing(1)
	one.PrintThing2(1)

	two.PrintThing(1)
	two.PrintThing2(1)     // Would expect a compiler error saying PrintThing2 cannot be called using variable two because types Thing[int] and Thing[string] do not match.
        // Comment out the line above to see the result of the next line.
	two.PrintThing2("str") // Looking past the expected behavior, the inputParam type is no longer correct. It should be an int but for some reason only accepts strings
}

// When ```twoPrintThing2(1)``` is not commented out:
// ./prog.go:29:18: cannot use 1 (untyped int constant) as string value in argument to two.PrintThing2
// 
// Go build failed.
//
// When ```twoPrintThing2(1)``` is commented out:
// Print thing 'self': {0}
// Print thing param: 1
// Print thing 2 'self': {0}
// Print thing 2 param: 1
// Print thing 'self': {Two}
// Print thing param: 1
// Print thing 2 'self': {Two}
// Print thing 2 param: str       <-- This demonstrates secondary issue
// 
// Program exited

// You can edit this code!
// Click here and start typing.
package main

import "fmt"

type Thing[T any] struct {
	A T
}

func (t Thing[T]) PrintThing(inputParam int) {
	fmt.Printf("Print thing 'self': %v\n", t)
	fmt.Printf("Print thing param: %v\n", inputParam)
	intAsArg(inputParam)
}

func (t Thing[int]) PrintThing2(inputParam int) {
	fmt.Printf("Print thing 2 'self': %v\n", t)
	fmt.Printf("Print thing 2 param: %v\n", inputParam)
	intAsArg(inputParam)
}

func intAsArg(v int) {
	//
}

func main() {
	one := Thing[int]{}
	two := Thing[string]{"Two"}

	one.PrintThing(1)
	one.PrintThing2(1)

	two.PrintThing(1)
	two.PrintThing2(1)     // Would expect a compiler error saying PrintThing2 cannot be called using variable two because types Thing[int] and Thing[string] do not match.
}

// ./prog.go:20:11: cannot use inputParam (variable of type int /* with int declared at ./prog.go:17:15 */ constrained by any) as int value in argument to intAsArg
// ./prog.go:35:18: cannot use 1 (untyped int constant) as string value in argument to two.PrintThing2
// 
// Go build failed.