errortest/slul-interfaces/with_type_diff2.slul


1
2
3
4
5
6
7
8
9
10
11
12


\slul 0.0.0
\name with_type_diff2
\type library
\version 1.0 unstable_api

# Same name as in with_type_diff1. But this is considered a different type!
# ERROR .24: <-- definition: DiffType
type DiffType = closed struct {
    int x
}

func .local_constructor() -> DiffType