| 1 | module main |
| 2 | |
| 3 | import private_mutability |
| 4 | |
| 5 | // Regression test for issue #24719. |
| 6 | fn test_private_receiver_mutation_does_not_require_mut_outside_module() { |
| 7 | counter := private_mutability.Counter{} |
| 8 | counter.bump_hidden_via_method() |
| 9 | counter.bump_hidden_via_helper() |
| 10 | assert counter.label_text() == '' |
| 11 | } |
| 12 |