Nim as a classic programming language

[margin]

> There is nothing to prove really. These annotations override the compiler's 
> reasonings.

Well I mean if an acyclic prameter/type is acyclic, but it's to complex to 
figuring that out, does the compiler trust the user or is an error issued?