Function assumePure

TODO

auto assumePure(T) (
  T fn
) @trusted;