PCG Assertion Failed : [main::debuginfo] capabilities.get(RETURN_PLACE.into(), ctxt).unwrap() ==

Database: prusti-fix-revar-from-outer-inferctxt-in-try-normalize-20260514-092649-0ca6d84a4.db

1 file(s) affected