Closes #82038 It was fixed by b8e5ab20ed, a wide-reaching obligation tracking improvement. This commit adds a test case.
b8e5ab20ed