Type System Chapter.

[commander-trashdin]

I'm not sure, which is why this is an issue instead of commit.

Complex types involving satisfies are not checked inside a function body, only at its boundaries.

(it's somewhere at the end). Okay, so the example after that does not involve any type decl, that has satisfies. What's even more important, nothing satisfies is checked at compile time, because there can be pretty much any function in there, so it is impossible. This is strictly runtime only. This part needs rewriting, I'll try to think about it myself as well.

[vindarel]

You are right:

• this parts needs rewriting and more insight
• the paragraph mentions "satisfies" and the example doesn't involve one.

I think that the example has a point about static type checks happening more (better term?) at the functions' boundaries.