{"abstract":"Assignment is incorrectly given the lifetime-extension rule of a let initializer.","category":"Borrow checking","checks":21,"contract":"Check temporary storage scopes using statement, block and full-expression integer boundaries. A borrowed temporary must cover use points; ordinary call arguments end at call boundary; let reference initializers may extend to block end but assignment RHS may not; operand temporaries end after enclosing expression; condition temporaries cannot leak into the then block; short-circuit RHS temporaries exist only on executed branch; a destructor observation is a use point; a reference to a promoted constant uses static storage; explicit owner binding prevents premature temporary destruction. Input is a fully explicit descriptor of the stated toy IR. Return rule identifiers in declaration order; absent optional obligations use the provided neutral defaults. No rule is an assertion about a production language.","evaluation_group":"s3-borrow-checking-temporary-regions","failed_approach":"The partial repair uses if d['assignment_extended'] and d['temp_end']>d['block_end']: errors.append('assignment-no-extension'), which still violates the stipulated analysis contract.","family":"s3-borrow-checking-temporary-regions-assignment-no-extension","id":"FA-43306","implementations":{"attempt":{"sha256":"27cd0c54b7ba5a926df8596a0c1ce28c78203b1d50de8d7022def6bd6db2b304","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if not set(d['uses'])<=set(d['alive']): errors.append('temporary-use')\n    if d['arg_end']>d['call_end']: errors.append('argument-scope')\n    if d['let_extended'] and d['temp_end']!=d['block_end']: errors.append('let-extension')\n    if d['assignment_extended'] and d['temp_end']>d['block_end']: errors.append('assignment-no-extension')\n    if d['operand_end']<d['expr_end']: errors.append('operand-expression')\n    if d['condition'] and bool(d['then_uses']): errors.append('condition-escape')\n    if d['rhs_created'] and not d['rhs_executed']: errors.append('short-circuit-creation')\n    if not set(d['drop_uses'])<=set(d['alive']): errors.append('destructor-use')\n    if d['promoted'] and not d['static_storage']: errors.append('promotion-storage')\n    if d['bound_temp_end']<d['owner_end']: errors.append('bound-owner-scope')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'uses': [], 'alive': [], 'call_end': 0, 'arg_end': 0, 'let_extended': False, 'temp_end': 0, 'block_end': 0, 'assignment_extended': False, 'expr_end': 0, 'operand_end': 0, 'condition': False, 'then_uses': [], 'rhs_created': False, 'rhs_executed': True, 'drop_uses': [], 'promoted': False, 'static_storage': True, 'owner_end': 0, 'bound_temp_end': 0}\ncheck('well formed empty obligations',solve(base),[])\ncheck('temporary-use regression 0', solve(dict(base, **({'uses':[N],'alive':[N+1]}))), ['temporary-use'])\ncheck('temporary-use regression 1', solve(dict(base, **({'uses':[N,N+1],'alive':[N+1,N+2]}))), ['temporary-use'])\ncheck('argument-scope regression 0', solve(dict(base, **({'arg_end':N+1,'call_end':N}))), ['argument-scope'])\ncheck('argument-scope regression 1', solve(dict(base, **({'arg_end':N+2,'call_end':N+1}))), ['argument-scope'])\ncheck('let-extension regression 0', solve(dict(base, **({'let_extended':True,'temp_end':N,'block_end':N+1}))), ['let-extension'])\ncheck('let-extension regression 1', solve(dict(base, **({'let_extended':True,'temp_end':N,'block_end':N+2}))), ['let-extension'])\ncheck('assignment-no-extension regression 0', solve(dict(base, **({'assignment_extended':True}))), ['assignment-no-extension'])\ncheck('assignment-no-extension regression 1', solve(dict(base, **({'assignment_extended':True,'block_end':N}))), ['assignment-no-extension'])\ncheck('operand-expression regression 0', solve(dict(base, **({'operand_end':N,'expr_end':N+1}))), ['operand-expression'])\ncheck('operand-expression regression 1', solve(dict(base, **({'operand_end':N+1,'expr_end':N+2}))), ['operand-expression'])\ncheck('condition-escape regression 0', solve(dict(base, **({'condition':True,'then_uses':[N]}))), ['condition-escape'])\ncheck('condition-escape regression 1', solve(dict(base, **({'condition':True,'then_uses':[N+1]}))), ['condition-escape'])\ncheck('short-circuit-creation regression 0', solve(dict(base, **({'rhs_created':True,'rhs_executed':False}))), ['short-circuit-creation'])\ncheck('short-circuit-creation regression 1', solve(dict(base, **({'rhs_created':True,'rhs_executed':False,'expr_end':N,'operand_end':N}))), ['short-circuit-creation'])\ncheck('destructor-use regression 0', solve(dict(base, **({'drop_uses':[N+1],'alive':[N]}))), ['destructor-use'])\ncheck('destructor-use regression 1', solve(dict(base, **({'drop_uses':[N,N+1],'alive':[N]}))), ['destructor-use'])\ncheck('promotion-storage regression 0', solve(dict(base, **({'promoted':True,'static_storage':False}))), ['promotion-storage'])\ncheck('promotion-storage regression 1', solve(dict(base, **({'promoted':True,'static_storage':False,'block_end':N}))), ['promotion-storage'])\ncheck('bound-owner-scope regression 0', solve(dict(base, **({'bound_temp_end':N,'owner_end':N+1}))), ['bound-owner-scope'])\ncheck('bound-owner-scope regression 1', solve(dict(base, **({'bound_temp_end':N+1,'owner_end':N+2}))), ['bound-owner-scope'])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"4c9dd11bd23ec43b93c43006528d8826e731f5cb2f3aac5ad21d71cd2d37d0ba","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if not set(d['uses'])<=set(d['alive']): errors.append('temporary-use')\n    if d['arg_end']>d['call_end']: errors.append('argument-scope')\n    if d['let_extended'] and d['temp_end']!=d['block_end']: errors.append('let-extension')\n    if False: errors.append('assignment-no-extension')\n    if d['operand_end']<d['expr_end']: errors.append('operand-expression')\n    if d['condition'] and bool(d['then_uses']): errors.append('condition-escape')\n    if d['rhs_created'] and not d['rhs_executed']: errors.append('short-circuit-creation')\n    if not set(d['drop_uses'])<=set(d['alive']): errors.append('destructor-use')\n    if d['promoted'] and not d['static_storage']: errors.append('promotion-storage')\n    if d['bound_temp_end']<d['owner_end']: errors.append('bound-owner-scope')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'uses': [], 'alive': [], 'call_end': 0, 'arg_end': 0, 'let_extended': False, 'temp_end': 0, 'block_end': 0, 'assignment_extended': False, 'expr_end': 0, 'operand_end': 0, 'condition': False, 'then_uses': [], 'rhs_created': False, 'rhs_executed': True, 'drop_uses': [], 'promoted': False, 'static_storage': True, 'owner_end': 0, 'bound_temp_end': 0}\ncheck('well formed empty obligations',solve(base),[])\ncheck('temporary-use regression 0', solve(dict(base, **({'uses':[N],'alive':[N+1]}))), ['temporary-use'])\ncheck('temporary-use regression 1', solve(dict(base, **({'uses':[N,N+1],'alive':[N+1,N+2]}))), ['temporary-use'])\ncheck('argument-scope regression 0', solve(dict(base, **({'arg_end':N+1,'call_end':N}))), ['argument-scope'])\ncheck('argument-scope regression 1', solve(dict(base, **({'arg_end':N+2,'call_end':N+1}))), ['argument-scope'])\ncheck('let-extension regression 0', solve(dict(base, **({'let_extended':True,'temp_end':N,'block_end':N+1}))), ['let-extension'])\ncheck('let-extension regression 1', solve(dict(base, **({'let_extended':True,'temp_end':N,'block_end':N+2}))), ['let-extension'])\ncheck('assignment-no-extension regression 0', solve(dict(base, **({'assignment_extended':True}))), ['assignment-no-extension'])\ncheck('assignment-no-extension regression 1', solve(dict(base, **({'assignment_extended':True,'block_end':N}))), ['assignment-no-extension'])\ncheck('operand-expression regression 0', solve(dict(base, **({'operand_end':N,'expr_end':N+1}))), ['operand-expression'])\ncheck('operand-expression regression 1', solve(dict(base, **({'operand_end':N+1,'expr_end':N+2}))), ['operand-expression'])\ncheck('condition-escape regression 0', solve(dict(base, **({'condition':True,'then_uses':[N]}))), ['condition-escape'])\ncheck('condition-escape regression 1', solve(dict(base, **({'condition':True,'then_uses':[N+1]}))), ['condition-escape'])\ncheck('short-circuit-creation regression 0', solve(dict(base, **({'rhs_created':True,'rhs_executed':False}))), ['short-circuit-creation'])\ncheck('short-circuit-creation regression 1', solve(dict(base, **({'rhs_created':True,'rhs_executed':False,'expr_end':N,'operand_end':N}))), ['short-circuit-creation'])\ncheck('destructor-use regression 0', solve(dict(base, **({'drop_uses':[N+1],'alive':[N]}))), ['destructor-use'])\ncheck('destructor-use regression 1', solve(dict(base, **({'drop_uses':[N,N+1],'alive':[N]}))), ['destructor-use'])\ncheck('promotion-storage regression 0', solve(dict(base, **({'promoted':True,'static_storage':False}))), ['promotion-storage'])\ncheck('promotion-storage regression 1', solve(dict(base, **({'promoted':True,'static_storage':False,'block_end':N}))), ['promotion-storage'])\ncheck('bound-owner-scope regression 0', solve(dict(base, **({'bound_temp_end':N,'owner_end':N+1}))), ['bound-owner-scope'])\ncheck('bound-owner-scope regression 1', solve(dict(base, **({'bound_temp_end':N+1,'owner_end':N+2}))), ['bound-owner-scope'])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"8589ce56094dd4ae30c738257aa27e119bcd55227a7446b3f1492883db8f8c12","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if not set(d['uses'])<=set(d['alive']): errors.append('temporary-use')\n    if d['arg_end']>d['call_end']: errors.append('argument-scope')\n    if d['let_extended'] and d['temp_end']!=d['block_end']: errors.append('let-extension')\n    if d['assignment_extended']: errors.append('assignment-no-extension')\n    if d['operand_end']<d['expr_end']: errors.append('operand-expression')\n    if d['condition'] and bool(d['then_uses']): errors.append('condition-escape')\n    if d['rhs_created'] and not d['rhs_executed']: errors.append('short-circuit-creation')\n    if not set(d['drop_uses'])<=set(d['alive']): errors.append('destructor-use')\n    if d['promoted'] and not d['static_storage']: errors.append('promotion-storage')\n    if d['bound_temp_end']<d['owner_end']: errors.append('bound-owner-scope')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'uses': [], 'alive': [], 'call_end': 0, 'arg_end': 0, 'let_extended': False, 'temp_end': 0, 'block_end': 0, 'assignment_extended': False, 'expr_end': 0, 'operand_end': 0, 'condition': False, 'then_uses': [], 'rhs_created': False, 'rhs_executed': True, 'drop_uses': [], 'promoted': False, 'static_storage': True, 'owner_end': 0, 'bound_temp_end': 0}\ncheck('well formed empty obligations',solve(base),[])\ncheck('temporary-use regression 0', solve(dict(base, **({'uses':[N],'alive':[N+1]}))), ['temporary-use'])\ncheck('temporary-use regression 1', solve(dict(base, **({'uses':[N,N+1],'alive':[N+1,N+2]}))), ['temporary-use'])\ncheck('argument-scope regression 0', solve(dict(base, **({'arg_end':N+1,'call_end':N}))), ['argument-scope'])\ncheck('argument-scope regression 1', solve(dict(base, **({'arg_end':N+2,'call_end':N+1}))), ['argument-scope'])\ncheck('let-extension regression 0', solve(dict(base, **({'let_extended':True,'temp_end':N,'block_end':N+1}))), ['let-extension'])\ncheck('let-extension regression 1', solve(dict(base, **({'let_extended':True,'temp_end':N,'block_end':N+2}))), ['let-extension'])\ncheck('assignment-no-extension regression 0', solve(dict(base, **({'assignment_extended':True}))), ['assignment-no-extension'])\ncheck('assignment-no-extension regression 1', solve(dict(base, **({'assignment_extended':True,'block_end':N}))), ['assignment-no-extension'])\ncheck('operand-expression regression 0', solve(dict(base, **({'operand_end':N,'expr_end':N+1}))), ['operand-expression'])\ncheck('operand-expression regression 1', solve(dict(base, **({'operand_end':N+1,'expr_end':N+2}))), ['operand-expression'])\ncheck('condition-escape regression 0', solve(dict(base, **({'condition':True,'then_uses':[N]}))), ['condition-escape'])\ncheck('condition-escape regression 1', solve(dict(base, **({'condition':True,'then_uses':[N+1]}))), ['condition-escape'])\ncheck('short-circuit-creation regression 0', solve(dict(base, **({'rhs_created':True,'rhs_executed':False}))), ['short-circuit-creation'])\ncheck('short-circuit-creation regression 1', solve(dict(base, **({'rhs_created':True,'rhs_executed':False,'expr_end':N,'operand_end':N}))), ['short-circuit-creation'])\ncheck('destructor-use regression 0', solve(dict(base, **({'drop_uses':[N+1],'alive':[N]}))), ['destructor-use'])\ncheck('destructor-use regression 1', solve(dict(base, **({'drop_uses':[N,N+1],'alive':[N]}))), ['destructor-use'])\ncheck('promotion-storage regression 0', solve(dict(base, **({'promoted':True,'static_storage':False}))), ['promotion-storage'])\ncheck('promotion-storage regression 1', solve(dict(base, **({'promoted':True,'static_storage':False,'block_end':N}))), ['promotion-storage'])\ncheck('bound-owner-scope regression 0', solve(dict(base, **({'bound_temp_end':N,'owner_end':N+1}))), ['bound-owner-scope'])\ncheck('bound-owner-scope regression 1', solve(dict(base, **({'bound_temp_end':N+1,'owner_end':N+2}))), ['bound-owner-scope'])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"The explicitly stated toy language is the complete scope; this is not a production compiler or a claim about Rust semantics. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-borrow-checking-temporary-regions-assignment-no-extension","generated_at":"2026-09-29T14:44:00.507096+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A finite offline static-analysis model of ownership and borrowing; it does not execute the analyzed program.","repair":"Apply the specified transfer or inference rule at this site: if d['assignment_extended']: errors.append('assignment-no-extension').","root_cause":"The static analyzer mishandles assignment no extension: assignment is incorrectly given the lifetime-extension rule of a let initializer.","sha256":"70530f853d7c15d8391675567c1053b32998180778c76a1284c175a5d319dcfc","title":"Assignment is incorrectly given the lifetime-extension rule of a let initializer · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.645,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["temporary-use"],"check":"temporary-use regression 0","expected":["temporary-use"],"passed":true},{"actual":["temporary-use"],"check":"temporary-use regression 1","expected":["temporary-use"],"passed":true},{"actual":["argument-scope"],"check":"argument-scope regression 0","expected":["argument-scope"],"passed":true},{"actual":["argument-scope"],"check":"argument-scope regression 1","expected":["argument-scope"],"passed":true},{"actual":["let-extension"],"check":"let-extension regression 0","expected":["let-extension"],"passed":true},{"actual":["let-extension"],"check":"let-extension regression 1","expected":["let-extension"],"passed":true},{"actual":[],"check":"assignment-no-extension regression 0","expected":["assignment-no-extension"],"passed":false},{"actual":[],"check":"assignment-no-extension regression 1","expected":["assignment-no-extension"],"passed":false},{"actual":["operand-expression"],"check":"operand-expression regression 0","expected":["operand-expression"],"passed":true},{"actual":["operand-expression"],"check":"operand-expression regression 1","expected":["operand-expression"],"passed":true},{"actual":["condition-escape"],"check":"condition-escape regression 0","expected":["condition-escape"],"passed":true},{"actual":["condition-escape"],"check":"condition-escape regression 1","expected":["condition-escape"],"passed":true},{"actual":["short-circuit-creation"],"check":"short-circuit-creation regression 0","expected":["short-circuit-creation"],"passed":true},{"actual":["short-circuit-creation"],"check":"short-circuit-creation regression 1","expected":["short-circuit-creation"],"passed":true},{"actual":["destructor-use"],"check":"destructor-use regression 0","expected":["destructor-use"],"passed":true},{"actual":["destructor-use"],"check":"destructor-use regression 1","expected":["destructor-use"],"passed":true},{"actual":["promotion-storage"],"check":"promotion-storage regression 0","expected":["promotion-storage"],"passed":true},{"actual":["promotion-storage"],"check":"promotion-storage regression 1","expected":["promotion-storage"],"passed":true},{"actual":["bound-owner-scope"],"check":"bound-owner-scope regression 0","expected":["bound-owner-scope"],"passed":true},{"actual":["bound-owner-scope"],"check":"bound-owner-scope regression 1","expected":["bound-owner-scope"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"temporary-use regression 0\", \"actual\": [\"temporary-use\"], \"expected\": [\"temporary-use\"], \"passed\": true}, {\"check\": \"temporary-use regression 1\", \"actual\": [\"temporary-use\"], \"expected\": [\"temporary-use\"], \"passed\": true}, {\"check\": \"argument-scope regression 0\", \"actual\": [\"argument-scope\"], \"expected\": [\"argument-scope\"], \"passed\": true}, {\"check\": \"argument-scope regression 1\", \"actual\": [\"argument-scope\"], \"expected\": [\"argument-scope\"], \"passed\": true}, {\"check\": \"let-extension regression 0\", \"actual\": [\"let-extension\"], \"expected\": [\"let-extension\"], \"passed\": true}, {\"check\": \"let-extension regression 1\", \"actual\": [\"let-extension\"], \"expected\": [\"let-extension\"], \"passed\": true}, {\"check\": \"assignment-no-extension regression 0\", \"actual\": [], \"expected\": [\"assignment-no-extension\"], \"passed\": false}, {\"check\": \"assignment-no-extension regression 1\", \"actual\": [], \"expected\": [\"assignment-no-extension\"], \"passed\": false}, {\"check\": \"operand-expression regression 0\", \"actual\": [\"operand-expression\"], \"expected\": [\"operand-expression\"], \"passed\": true}, {\"check\": \"operand-expression regression 1\", \"actual\": [\"operand-expression\"], \"expected\": [\"operand-expression\"], \"passed\": true}, {\"check\": \"condition-escape regression 0\", \"actual\": [\"condition-escape\"], \"expected\": [\"condition-escape\"], \"passed\": true}, {\"check\": \"condition-escape regression 1\", \"actual\": [\"condition-escape\"], \"expected\": [\"condition-escape\"], \"passed\": true}, {\"check\": \"short-circuit-creation regression 0\", \"actual\": [\"short-circuit-creation\"], \"expected\": [\"short-circuit-creation\"], \"passed\": true}, {\"check\": \"short-circuit-creation regression 1\", \"actual\": [\"short-circuit-creation\"], \"expected\": [\"short-circuit-creation\"], \"passed\": true}, {\"check\": \"destructor-use regression 0\", \"actual\": [\"destructor-use\"], \"expected\": [\"destructor-use\"], \"passed\": true}, {\"check\": \"destructor-use regression 1\", \"actual\": [\"destructor-use\"], \"expected\": [\"destructor-use\"], \"passed\": true}, {\"check\": \"promotion-storage regression 0\", \"actual\": [\"promotion-storage\"], \"expected\": [\"promotion-storage\"], \"passed\": true}, {\"check\": \"promotion-storage regression 1\", \"actual\": [\"promotion-storage\"], \"expected\": [\"promotion-storage\"], \"passed\": true}, {\"check\": \"bound-owner-scope regression 0\", \"actual\": [\"bound-owner-scope\"], \"expected\": [\"bound-owner-scope\"], \"passed\": true}, {\"check\": \"bound-owner-scope regression 1\", \"actual\": [\"bound-owner-scope\"], \"expected\": [\"bound-owner-scope\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":50.627,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["temporary-use"],"check":"temporary-use regression 0","expected":["temporary-use"],"passed":true},{"actual":["temporary-use"],"check":"temporary-use regression 1","expected":["temporary-use"],"passed":true},{"actual":["argument-scope"],"check":"argument-scope regression 0","expected":["argument-scope"],"passed":true},{"actual":["argument-scope"],"check":"argument-scope regression 1","expected":["argument-scope"],"passed":true},{"actual":["let-extension"],"check":"let-extension regression 0","expected":["let-extension"],"passed":true},{"actual":["let-extension"],"check":"let-extension regression 1","expected":["let-extension"],"passed":true},{"actual":[],"check":"assignment-no-extension regression 0","expected":["assignment-no-extension"],"passed":false},{"actual":[],"check":"assignment-no-extension regression 1","expected":["assignment-no-extension"],"passed":false},{"actual":["operand-expression"],"check":"operand-expression regression 0","expected":["operand-expression"],"passed":true},{"actual":["operand-expression"],"check":"operand-expression regression 1","expected":["operand-expression"],"passed":true},{"actual":["condition-escape"],"check":"condition-escape regression 0","expected":["condition-escape"],"passed":true},{"actual":["condition-escape"],"check":"condition-escape regression 1","expected":["condition-escape"],"passed":true},{"actual":["short-circuit-creation"],"check":"short-circuit-creation regression 0","expected":["short-circuit-creation"],"passed":true},{"actual":["short-circuit-creation"],"check":"short-circuit-creation regression 1","expected":["short-circuit-creation"],"passed":true},{"actual":["destructor-use"],"check":"destructor-use regression 0","expected":["destructor-use"],"passed":true},{"actual":["destructor-use"],"check":"destructor-use regression 1","expected":["destructor-use"],"passed":true},{"actual":["promotion-storage"],"check":"promotion-storage regression 0","expected":["promotion-storage"],"passed":true},{"actual":["promotion-storage"],"check":"promotion-storage regression 1","expected":["promotion-storage"],"passed":true},{"actual":["bound-owner-scope"],"check":"bound-owner-scope regression 0","expected":["bound-owner-scope"],"passed":true},{"actual":["bound-owner-scope"],"check":"bound-owner-scope regression 1","expected":["bound-owner-scope"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"temporary-use regression 0\", \"actual\": [\"temporary-use\"], \"expected\": [\"temporary-use\"], \"passed\": true}, {\"check\": \"temporary-use regression 1\", \"actual\": [\"temporary-use\"], \"expected\": [\"temporary-use\"], \"passed\": true}, {\"check\": \"argument-scope regression 0\", \"actual\": [\"argument-scope\"], \"expected\": [\"argument-scope\"], \"passed\": true}, {\"check\": \"argument-scope regression 1\", \"actual\": [\"argument-scope\"], \"expected\": [\"argument-scope\"], \"passed\": true}, {\"check\": \"let-extension regression 0\", \"actual\": [\"let-extension\"], \"expected\": [\"let-extension\"], \"passed\": true}, {\"check\": \"let-extension regression 1\", \"actual\": [\"let-extension\"], \"expected\": [\"let-extension\"], \"passed\": true}, {\"check\": \"assignment-no-extension regression 0\", \"actual\": [], \"expected\": [\"assignment-no-extension\"], \"passed\": false}, {\"check\": \"assignment-no-extension regression 1\", \"actual\": [], \"expected\": [\"assignment-no-extension\"], \"passed\": false}, {\"check\": \"operand-expression regression 0\", \"actual\": [\"operand-expression\"], \"expected\": [\"operand-expression\"], \"passed\": true}, {\"check\": \"operand-expression regression 1\", \"actual\": [\"operand-expression\"], \"expected\": [\"operand-expression\"], \"passed\": true}, {\"check\": \"condition-escape regression 0\", \"actual\": [\"condition-escape\"], \"expected\": [\"condition-escape\"], \"passed\": true}, {\"check\": \"condition-escape regression 1\", \"actual\": [\"condition-escape\"], \"expected\": [\"condition-escape\"], \"passed\": true}, {\"check\": \"short-circuit-creation regression 0\", \"actual\": [\"short-circuit-creation\"], \"expected\": [\"short-circuit-creation\"], \"passed\": true}, {\"check\": \"short-circuit-creation regression 1\", \"actual\": [\"short-circuit-creation\"], \"expected\": [\"short-circuit-creation\"], \"passed\": true}, {\"check\": \"destructor-use regression 0\", \"actual\": [\"destructor-use\"], \"expected\": [\"destructor-use\"], \"passed\": true}, {\"check\": \"destructor-use regression 1\", \"actual\": [\"destructor-use\"], \"expected\": [\"destructor-use\"], \"passed\": true}, {\"check\": \"promotion-storage regression 0\", \"actual\": [\"promotion-storage\"], \"expected\": [\"promotion-storage\"], \"passed\": true}, {\"check\": \"promotion-storage regression 1\", \"actual\": [\"promotion-storage\"], \"expected\": [\"promotion-storage\"], \"passed\": true}, {\"check\": \"bound-owner-scope regression 0\", \"actual\": [\"bound-owner-scope\"], \"expected\": [\"bound-owner-scope\"], \"passed\": true}, {\"check\": \"bound-owner-scope regression 1\", \"actual\": [\"bound-owner-scope\"], \"expected\": [\"bound-owner-scope\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":50.684,"exit_code":0,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["temporary-use"],"check":"temporary-use regression 0","expected":["temporary-use"],"passed":true},{"actual":["temporary-use"],"check":"temporary-use regression 1","expected":["temporary-use"],"passed":true},{"actual":["argument-scope"],"check":"argument-scope regression 0","expected":["argument-scope"],"passed":true},{"actual":["argument-scope"],"check":"argument-scope regression 1","expected":["argument-scope"],"passed":true},{"actual":["let-extension"],"check":"let-extension regression 0","expected":["let-extension"],"passed":true},{"actual":["let-extension"],"check":"let-extension regression 1","expected":["let-extension"],"passed":true},{"actual":["assignment-no-extension"],"check":"assignment-no-extension regression 0","expected":["assignment-no-extension"],"passed":true},{"actual":["assignment-no-extension"],"check":"assignment-no-extension regression 1","expected":["assignment-no-extension"],"passed":true},{"actual":["operand-expression"],"check":"operand-expression regression 0","expected":["operand-expression"],"passed":true},{"actual":["operand-expression"],"check":"operand-expression regression 1","expected":["operand-expression"],"passed":true},{"actual":["condition-escape"],"check":"condition-escape regression 0","expected":["condition-escape"],"passed":true},{"actual":["condition-escape"],"check":"condition-escape regression 1","expected":["condition-escape"],"passed":true},{"actual":["short-circuit-creation"],"check":"short-circuit-creation regression 0","expected":["short-circuit-creation"],"passed":true},{"actual":["short-circuit-creation"],"check":"short-circuit-creation regression 1","expected":["short-circuit-creation"],"passed":true},{"actual":["destructor-use"],"check":"destructor-use regression 0","expected":["destructor-use"],"passed":true},{"actual":["destructor-use"],"check":"destructor-use regression 1","expected":["destructor-use"],"passed":true},{"actual":["promotion-storage"],"check":"promotion-storage regression 0","expected":["promotion-storage"],"passed":true},{"actual":["promotion-storage"],"check":"promotion-storage regression 1","expected":["promotion-storage"],"passed":true},{"actual":["bound-owner-scope"],"check":"bound-owner-scope regression 0","expected":["bound-owner-scope"],"passed":true},{"actual":["bound-owner-scope"],"check":"bound-owner-scope regression 1","expected":["bound-owner-scope"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"temporary-use regression 0\", \"actual\": [\"temporary-use\"], \"expected\": [\"temporary-use\"], \"passed\": true}, {\"check\": \"temporary-use regression 1\", \"actual\": [\"temporary-use\"], \"expected\": [\"temporary-use\"], \"passed\": true}, {\"check\": \"argument-scope regression 0\", \"actual\": [\"argument-scope\"], \"expected\": [\"argument-scope\"], \"passed\": true}, {\"check\": \"argument-scope regression 1\", \"actual\": [\"argument-scope\"], \"expected\": [\"argument-scope\"], \"passed\": true}, {\"check\": \"let-extension regression 0\", \"actual\": [\"let-extension\"], \"expected\": [\"let-extension\"], \"passed\": true}, {\"check\": \"let-extension regression 1\", \"actual\": [\"let-extension\"], \"expected\": [\"let-extension\"], \"passed\": true}, {\"check\": \"assignment-no-extension regression 0\", \"actual\": [\"assignment-no-extension\"], \"expected\": [\"assignment-no-extension\"], \"passed\": true}, {\"check\": \"assignment-no-extension regression 1\", \"actual\": [\"assignment-no-extension\"], \"expected\": [\"assignment-no-extension\"], \"passed\": true}, {\"check\": \"operand-expression regression 0\", \"actual\": [\"operand-expression\"], \"expected\": [\"operand-expression\"], \"passed\": true}, {\"check\": \"operand-expression regression 1\", \"actual\": [\"operand-expression\"], \"expected\": [\"operand-expression\"], \"passed\": true}, {\"check\": \"condition-escape regression 0\", \"actual\": [\"condition-escape\"], \"expected\": [\"condition-escape\"], \"passed\": true}, {\"check\": \"condition-escape regression 1\", \"actual\": [\"condition-escape\"], \"expected\": [\"condition-escape\"], \"passed\": true}, {\"check\": \"short-circuit-creation regression 0\", \"actual\": [\"short-circuit-creation\"], \"expected\": [\"short-circuit-creation\"], \"passed\": true}, {\"check\": \"short-circuit-creation regression 1\", \"actual\": [\"short-circuit-creation\"], \"expected\": [\"short-circuit-creation\"], \"passed\": true}, {\"check\": \"destructor-use regression 0\", \"actual\": [\"destructor-use\"], \"expected\": [\"destructor-use\"], \"passed\": true}, {\"check\": \"destructor-use regression 1\", \"actual\": [\"destructor-use\"], \"expected\": [\"destructor-use\"], \"passed\": true}, {\"check\": \"promotion-storage regression 0\", \"actual\": [\"promotion-storage\"], \"expected\": [\"promotion-storage\"], \"passed\": true}, {\"check\": \"promotion-storage regression 1\", \"actual\": [\"promotion-storage\"], \"expected\": [\"promotion-storage\"], \"passed\": true}, {\"check\": \"bound-owner-scope regression 0\", \"actual\": [\"bound-owner-scope\"], \"expected\": [\"bound-owner-scope\"], \"passed\": true}, {\"check\": \"bound-owner-scope regression 1\", \"actual\": [\"bound-owner-scope\"], \"expected\": [\"bound-owner-scope\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}