tests/elab/emptycOverloadIssues.lean - third_party/github.com/leanprover/lean4 - Git at Google


            
            structure A :=

            
            (x : Nat := 10)


            abbrev B := A


            structure C :=

            
            (a : A := {})

            
            (b : B := {})
	structure A :=
	(x : Nat := 10)

	abbrev B := A

	structure C :=
	(a : A := {})
	(b : B := {})