Support for inlining annotations on computation returns.