What does the error "inline value must be pure" mean？

[odersky]

I think we could move the purity test past the inlining phase. That would make the example compile.