Imagine that your bars is a public field, and I assign to it in my code, the compiler can typecheck that