> Without knowing the body of `bar` it's not possible to determine whether `foo` is sound. This is literally the point we're making in the article. Note that w

> Without knowing the body of `bar` it's not possible to determine whether `foo` is sound. This is literally the point we're making in the article. Note that what protects you from violating type safety is not the ownership rules, but the ability to propagate these rules by annotating `bar`. So we're proposing a direct focus on this propagation.