| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869 |
- # Test the alias analysis
- type
- TAnalysisResult* = enum
- arNo, arMaybe, arYes
- proc isPartOf*[S, T](a: S, b: T): TAnalysisResult {.
- magic: "IsPartOf", noSideEffect.}
- ## not yet exported properly.
- template compileTimeAssert(cond) =
- when not cond:
- {.compile: "is false: " & astToStr(cond).}
- template `<|` (a, b) =
- compileTimeAssert isPartOf(a, b) == arYes
- template `!<|` (a, b) =
- compileTimeAssert isPartOf(a, b) == arNo
- template `?<|` (a, b) =
- compileTimeAssert isPartOf(a, b) == arMaybe
- type
- TA {.inheritable.} = object
- TC = object of TA
- arr: array[0..3, int]
- le, ri: ref TC
- f: string
- c: char
- se: seq[TA]
- proc p(param1, param2: TC, param3: var TC): TC =
- result = TC()
- var
- local: TC = default(TC)
- plocal: ptr TC = nil
- plocal2: ptr TA = nil
- local.arr <| local
- local.arr[0] <| local
- local.arr[2] !<| local.arr[1]
- plocal2[] ?<| local
- param1 ?<| param2
- local ?<| param3
- local.arr[0] !<| param1
- local.arr !<| param1
- local.le[] ?<| param1
- param1 !<| local.arr[0]
- param1 !<| local.arr
- param1 ?<| local.le[]
- result !<| local
- result <| result
- var
- a, b: int
- x: TC
- a <| a
- a !<| b
- discard p(x, x, x)
|
