You are working on the rustedpy/result repository. The source code is checked out at /testbed at commit…

You are working on the rustedpy/result repository. The source code is checked out at /testbed at commit…: a task in SWE-Lego-RL-2699 (Harbor dataset). However, in this package, because Ok and Err both share .value, this is by default allowed, and the user is not forced to check that a result is ok.