{"abstract":"Diverging branch coercion invents a reference origin at the join.","category":"Borrow checking","checks":21,"contract":"Check reference coercion proof steps. Unique-to-shared freeze is one-way; unsizing preserves owner; trait unsizing retains metadata; array-to-slice length equals array extent; nested mutable references cannot shorten inner lifetime; shared outer references may shorten; deref coercion records every intermediate loan; implicit coercion cannot execute a moving deref; reification of a borrowed function pointer preserves captured lifetimes; never-type branch coercion contributes no invented loan. 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-reference-coercions","failed_approach":"The partial repair uses if d['never_branch'] and len(d['invented'])>1: errors.append('never-no-origin'), which still violates the stipulated analysis contract.","family":"s3-borrow-checking-reference-coercions-never-no-origin","id":"FA-44036","implementations":{"attempt":{"sha256":"fbc0a8b349af5013ba3a49df11c9ca5b072b1a40409c4ba9842d7ab6fb11bfa3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['source_shared'] and d['target_unique']: errors.append('freeze-direction')\n    if d['source_owner']!=d['target_owner']: errors.append('unsize-owner')\n    if d['unsized'] and not d['metadata']: errors.append('unsize-metadata')\n    if d['array_coerce'] and d['array_size']!=d['slice_size']: errors.append('array-slice-extent')\n    if d['nested_mut'] and d['inner_before']!=d['inner_after']: errors.append('nested-mut-invariance')\n    if d['shared_outer'] and d['outer_after']>d['outer_before']: errors.append('outer-shared-shortening')\n    if not set(d['intermediate'])<=set(d['recorded']): errors.append('deref-intermediates')\n    if d['implicit'] and d['moving_deref']: errors.append('implicit-moving-deref')\n    if not set(d['captured'])<=set(d['reified']): errors.append('function-reification-capture')\n    if d['never_branch'] and len(d['invented'])>1: errors.append('never-no-origin')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'source_shared': False, 'target_unique': False, 'source_owner': None, 'target_owner': None, 'unsized': False, 'metadata': True, 'array_size': 0, 'slice_size': 0, 'array_coerce': False, 'nested_mut': False, 'inner_before': 0, 'inner_after': 0, 'shared_outer': False, 'outer_before': 0, 'outer_after': 0, 'intermediate': [], 'recorded': [], 'moving_deref': False, 'implicit': False, 'captured': [], 'reified': [], 'never_branch': False, 'invented': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('freeze-direction regression 0', solve(dict(base, **({'source_shared':True,'target_unique':True}))), ['freeze-direction'])\ncheck('freeze-direction regression 1', solve(dict(base, **({'source_shared':True,'target_unique':True,'outer_before':N,'outer_after':N}))), ['freeze-direction'])\ncheck('unsize-owner regression 0', solve(dict(base, **({'source_owner':'a','target_owner':'b'}))), ['unsize-owner'])\ncheck('unsize-owner regression 1', solve(dict(base, **({'source_owner':N,'target_owner':N+1}))), ['unsize-owner'])\ncheck('unsize-metadata regression 0', solve(dict(base, **({'unsized':True,'metadata':False}))), ['unsize-metadata'])\ncheck('unsize-metadata regression 1', solve(dict(base, **({'unsized':True,'metadata':False,'outer_before':N,'outer_after':N}))), ['unsize-metadata'])\ncheck('array-slice-extent regression 0', solve(dict(base, **({'array_coerce':True,'array_size':N+1,'slice_size':N}))), ['array-slice-extent'])\ncheck('array-slice-extent regression 1', solve(dict(base, **({'array_coerce':True,'array_size':N+2,'slice_size':N+1}))), ['array-slice-extent'])\ncheck('nested-mut-invariance regression 0', solve(dict(base, **({'nested_mut':True,'inner_before':N+1,'inner_after':N}))), ['nested-mut-invariance'])\ncheck('nested-mut-invariance regression 1', solve(dict(base, **({'nested_mut':True,'inner_before':N+2,'inner_after':N+1}))), ['nested-mut-invariance'])\ncheck('outer-shared-shortening regression 0', solve(dict(base, **({'shared_outer':True,'outer_before':N,'outer_after':N+1}))), ['outer-shared-shortening'])\ncheck('outer-shared-shortening regression 1', solve(dict(base, **({'shared_outer':True,'outer_before':N+1,'outer_after':N+2}))), ['outer-shared-shortening'])\ncheck('deref-intermediates regression 0', solve(dict(base, **({'intermediate':['a','b'],'recorded':['a']}))), ['deref-intermediates'])\ncheck('deref-intermediates regression 1', solve(dict(base, **({'intermediate':list(range(N+1)),'recorded':[0]}))), ['deref-intermediates'])\ncheck('implicit-moving-deref regression 0', solve(dict(base, **({'implicit':True,'moving_deref':True}))), ['implicit-moving-deref'])\ncheck('implicit-moving-deref regression 1', solve(dict(base, **({'implicit':True,'moving_deref':True,'outer_before':N,'outer_after':N}))), ['implicit-moving-deref'])\ncheck('function-reification-capture regression 0', solve(dict(base, **({'captured':['a','b'],'reified':['a']}))), ['function-reification-capture'])\ncheck('function-reification-capture regression 1', solve(dict(base, **({'captured':[N,N+1],'reified':[N]}))), ['function-reification-capture'])\ncheck('never-no-origin regression 0', solve(dict(base, **({'never_branch':True,'invented':['r']}))), ['never-no-origin'])\ncheck('never-no-origin regression 1', solve(dict(base, **({'never_branch':True,'invented':[N]}))), ['never-no-origin'])\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":"e9d2ff297ffd56c5f4c225888737f1ffdd9a631d2db7447a6894777050bc94d0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['source_shared'] and d['target_unique']: errors.append('freeze-direction')\n    if d['source_owner']!=d['target_owner']: errors.append('unsize-owner')\n    if d['unsized'] and not d['metadata']: errors.append('unsize-metadata')\n    if d['array_coerce'] and d['array_size']!=d['slice_size']: errors.append('array-slice-extent')\n    if d['nested_mut'] and d['inner_before']!=d['inner_after']: errors.append('nested-mut-invariance')\n    if d['shared_outer'] and d['outer_after']>d['outer_before']: errors.append('outer-shared-shortening')\n    if not set(d['intermediate'])<=set(d['recorded']): errors.append('deref-intermediates')\n    if d['implicit'] and d['moving_deref']: errors.append('implicit-moving-deref')\n    if not set(d['captured'])<=set(d['reified']): errors.append('function-reification-capture')\n    if False: errors.append('never-no-origin')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'source_shared': False, 'target_unique': False, 'source_owner': None, 'target_owner': None, 'unsized': False, 'metadata': True, 'array_size': 0, 'slice_size': 0, 'array_coerce': False, 'nested_mut': False, 'inner_before': 0, 'inner_after': 0, 'shared_outer': False, 'outer_before': 0, 'outer_after': 0, 'intermediate': [], 'recorded': [], 'moving_deref': False, 'implicit': False, 'captured': [], 'reified': [], 'never_branch': False, 'invented': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('freeze-direction regression 0', solve(dict(base, **({'source_shared':True,'target_unique':True}))), ['freeze-direction'])\ncheck('freeze-direction regression 1', solve(dict(base, **({'source_shared':True,'target_unique':True,'outer_before':N,'outer_after':N}))), ['freeze-direction'])\ncheck('unsize-owner regression 0', solve(dict(base, **({'source_owner':'a','target_owner':'b'}))), ['unsize-owner'])\ncheck('unsize-owner regression 1', solve(dict(base, **({'source_owner':N,'target_owner':N+1}))), ['unsize-owner'])\ncheck('unsize-metadata regression 0', solve(dict(base, **({'unsized':True,'metadata':False}))), ['unsize-metadata'])\ncheck('unsize-metadata regression 1', solve(dict(base, **({'unsized':True,'metadata':False,'outer_before':N,'outer_after':N}))), ['unsize-metadata'])\ncheck('array-slice-extent regression 0', solve(dict(base, **({'array_coerce':True,'array_size':N+1,'slice_size':N}))), ['array-slice-extent'])\ncheck('array-slice-extent regression 1', solve(dict(base, **({'array_coerce':True,'array_size':N+2,'slice_size':N+1}))), ['array-slice-extent'])\ncheck('nested-mut-invariance regression 0', solve(dict(base, **({'nested_mut':True,'inner_before':N+1,'inner_after':N}))), ['nested-mut-invariance'])\ncheck('nested-mut-invariance regression 1', solve(dict(base, **({'nested_mut':True,'inner_before':N+2,'inner_after':N+1}))), ['nested-mut-invariance'])\ncheck('outer-shared-shortening regression 0', solve(dict(base, **({'shared_outer':True,'outer_before':N,'outer_after':N+1}))), ['outer-shared-shortening'])\ncheck('outer-shared-shortening regression 1', solve(dict(base, **({'shared_outer':True,'outer_before':N+1,'outer_after':N+2}))), ['outer-shared-shortening'])\ncheck('deref-intermediates regression 0', solve(dict(base, **({'intermediate':['a','b'],'recorded':['a']}))), ['deref-intermediates'])\ncheck('deref-intermediates regression 1', solve(dict(base, **({'intermediate':list(range(N+1)),'recorded':[0]}))), ['deref-intermediates'])\ncheck('implicit-moving-deref regression 0', solve(dict(base, **({'implicit':True,'moving_deref':True}))), ['implicit-moving-deref'])\ncheck('implicit-moving-deref regression 1', solve(dict(base, **({'implicit':True,'moving_deref':True,'outer_before':N,'outer_after':N}))), ['implicit-moving-deref'])\ncheck('function-reification-capture regression 0', solve(dict(base, **({'captured':['a','b'],'reified':['a']}))), ['function-reification-capture'])\ncheck('function-reification-capture regression 1', solve(dict(base, **({'captured':[N,N+1],'reified':[N]}))), ['function-reification-capture'])\ncheck('never-no-origin regression 0', solve(dict(base, **({'never_branch':True,'invented':['r']}))), ['never-no-origin'])\ncheck('never-no-origin regression 1', solve(dict(base, **({'never_branch':True,'invented':[N]}))), ['never-no-origin'])\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":"e5f05aeb93b9ae07ee8dd2d488fd64c0d9538e0b13b3d71a98870b9e863043b1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['source_shared'] and d['target_unique']: errors.append('freeze-direction')\n    if d['source_owner']!=d['target_owner']: errors.append('unsize-owner')\n    if d['unsized'] and not d['metadata']: errors.append('unsize-metadata')\n    if d['array_coerce'] and d['array_size']!=d['slice_size']: errors.append('array-slice-extent')\n    if d['nested_mut'] and d['inner_before']!=d['inner_after']: errors.append('nested-mut-invariance')\n    if d['shared_outer'] and d['outer_after']>d['outer_before']: errors.append('outer-shared-shortening')\n    if not set(d['intermediate'])<=set(d['recorded']): errors.append('deref-intermediates')\n    if d['implicit'] and d['moving_deref']: errors.append('implicit-moving-deref')\n    if not set(d['captured'])<=set(d['reified']): errors.append('function-reification-capture')\n    if d['never_branch'] and bool(d['invented']): errors.append('never-no-origin')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'source_shared': False, 'target_unique': False, 'source_owner': None, 'target_owner': None, 'unsized': False, 'metadata': True, 'array_size': 0, 'slice_size': 0, 'array_coerce': False, 'nested_mut': False, 'inner_before': 0, 'inner_after': 0, 'shared_outer': False, 'outer_before': 0, 'outer_after': 0, 'intermediate': [], 'recorded': [], 'moving_deref': False, 'implicit': False, 'captured': [], 'reified': [], 'never_branch': False, 'invented': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('freeze-direction regression 0', solve(dict(base, **({'source_shared':True,'target_unique':True}))), ['freeze-direction'])\ncheck('freeze-direction regression 1', solve(dict(base, **({'source_shared':True,'target_unique':True,'outer_before':N,'outer_after':N}))), ['freeze-direction'])\ncheck('unsize-owner regression 0', solve(dict(base, **({'source_owner':'a','target_owner':'b'}))), ['unsize-owner'])\ncheck('unsize-owner regression 1', solve(dict(base, **({'source_owner':N,'target_owner':N+1}))), ['unsize-owner'])\ncheck('unsize-metadata regression 0', solve(dict(base, **({'unsized':True,'metadata':False}))), ['unsize-metadata'])\ncheck('unsize-metadata regression 1', solve(dict(base, **({'unsized':True,'metadata':False,'outer_before':N,'outer_after':N}))), ['unsize-metadata'])\ncheck('array-slice-extent regression 0', solve(dict(base, **({'array_coerce':True,'array_size':N+1,'slice_size':N}))), ['array-slice-extent'])\ncheck('array-slice-extent regression 1', solve(dict(base, **({'array_coerce':True,'array_size':N+2,'slice_size':N+1}))), ['array-slice-extent'])\ncheck('nested-mut-invariance regression 0', solve(dict(base, **({'nested_mut':True,'inner_before':N+1,'inner_after':N}))), ['nested-mut-invariance'])\ncheck('nested-mut-invariance regression 1', solve(dict(base, **({'nested_mut':True,'inner_before':N+2,'inner_after':N+1}))), ['nested-mut-invariance'])\ncheck('outer-shared-shortening regression 0', solve(dict(base, **({'shared_outer':True,'outer_before':N,'outer_after':N+1}))), ['outer-shared-shortening'])\ncheck('outer-shared-shortening regression 1', solve(dict(base, **({'shared_outer':True,'outer_before':N+1,'outer_after':N+2}))), ['outer-shared-shortening'])\ncheck('deref-intermediates regression 0', solve(dict(base, **({'intermediate':['a','b'],'recorded':['a']}))), ['deref-intermediates'])\ncheck('deref-intermediates regression 1', solve(dict(base, **({'intermediate':list(range(N+1)),'recorded':[0]}))), ['deref-intermediates'])\ncheck('implicit-moving-deref regression 0', solve(dict(base, **({'implicit':True,'moving_deref':True}))), ['implicit-moving-deref'])\ncheck('implicit-moving-deref regression 1', solve(dict(base, **({'implicit':True,'moving_deref':True,'outer_before':N,'outer_after':N}))), ['implicit-moving-deref'])\ncheck('function-reification-capture regression 0', solve(dict(base, **({'captured':['a','b'],'reified':['a']}))), ['function-reification-capture'])\ncheck('function-reification-capture regression 1', solve(dict(base, **({'captured':[N,N+1],'reified':[N]}))), ['function-reification-capture'])\ncheck('never-no-origin regression 0', solve(dict(base, **({'never_branch':True,'invented':['r']}))), ['never-no-origin'])\ncheck('never-no-origin regression 1', solve(dict(base, **({'never_branch':True,'invented':[N]}))), ['never-no-origin'])\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-reference-coercions-never-no-origin","generated_at":"2026-09-29T14:44:08.129114+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['never_branch'] and bool(d['invented']): errors.append('never-no-origin').","root_cause":"The static analyzer mishandles never no origin: diverging branch coercion invents a reference origin at the join.","sha256":"1835ca1422c7bb7a54f3936e2f4a1a6ac738b7f6e4616de1cbfaabdbfe94dc20","title":"Diverging branch coercion invents a reference origin at the join · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.348,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["freeze-direction"],"check":"freeze-direction regression 0","expected":["freeze-direction"],"passed":true},{"actual":["freeze-direction"],"check":"freeze-direction regression 1","expected":["freeze-direction"],"passed":true},{"actual":["unsize-owner"],"check":"unsize-owner regression 0","expected":["unsize-owner"],"passed":true},{"actual":["unsize-owner"],"check":"unsize-owner regression 1","expected":["unsize-owner"],"passed":true},{"actual":["unsize-metadata"],"check":"unsize-metadata regression 0","expected":["unsize-metadata"],"passed":true},{"actual":["unsize-metadata"],"check":"unsize-metadata regression 1","expected":["unsize-metadata"],"passed":true},{"actual":["array-slice-extent"],"check":"array-slice-extent regression 0","expected":["array-slice-extent"],"passed":true},{"actual":["array-slice-extent"],"check":"array-slice-extent regression 1","expected":["array-slice-extent"],"passed":true},{"actual":["nested-mut-invariance"],"check":"nested-mut-invariance regression 0","expected":["nested-mut-invariance"],"passed":true},{"actual":["nested-mut-invariance"],"check":"nested-mut-invariance regression 1","expected":["nested-mut-invariance"],"passed":true},{"actual":["outer-shared-shortening"],"check":"outer-shared-shortening regression 0","expected":["outer-shared-shortening"],"passed":true},{"actual":["outer-shared-shortening"],"check":"outer-shared-shortening regression 1","expected":["outer-shared-shortening"],"passed":true},{"actual":["deref-intermediates"],"check":"deref-intermediates regression 0","expected":["deref-intermediates"],"passed":true},{"actual":["deref-intermediates"],"check":"deref-intermediates regression 1","expected":["deref-intermediates"],"passed":true},{"actual":["implicit-moving-deref"],"check":"implicit-moving-deref regression 0","expected":["implicit-moving-deref"],"passed":true},{"actual":["implicit-moving-deref"],"check":"implicit-moving-deref regression 1","expected":["implicit-moving-deref"],"passed":true},{"actual":["function-reification-capture"],"check":"function-reification-capture regression 0","expected":["function-reification-capture"],"passed":true},{"actual":["function-reification-capture"],"check":"function-reification-capture regression 1","expected":["function-reification-capture"],"passed":true},{"actual":[],"check":"never-no-origin regression 0","expected":["never-no-origin"],"passed":false},{"actual":[],"check":"never-no-origin regression 1","expected":["never-no-origin"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"freeze-direction regression 0\", \"actual\": [\"freeze-direction\"], \"expected\": [\"freeze-direction\"], \"passed\": true}, {\"check\": \"freeze-direction regression 1\", \"actual\": [\"freeze-direction\"], \"expected\": [\"freeze-direction\"], \"passed\": true}, {\"check\": \"unsize-owner regression 0\", \"actual\": [\"unsize-owner\"], \"expected\": [\"unsize-owner\"], \"passed\": true}, {\"check\": \"unsize-owner regression 1\", \"actual\": [\"unsize-owner\"], \"expected\": [\"unsize-owner\"], \"passed\": true}, {\"check\": \"unsize-metadata regression 0\", \"actual\": [\"unsize-metadata\"], \"expected\": [\"unsize-metadata\"], \"passed\": true}, {\"check\": \"unsize-metadata regression 1\", \"actual\": [\"unsize-metadata\"], \"expected\": [\"unsize-metadata\"], \"passed\": true}, {\"check\": \"array-slice-extent regression 0\", \"actual\": [\"array-slice-extent\"], \"expected\": [\"array-slice-extent\"], \"passed\": true}, {\"check\": \"array-slice-extent regression 1\", \"actual\": [\"array-slice-extent\"], \"expected\": [\"array-slice-extent\"], \"passed\": true}, {\"check\": \"nested-mut-invariance regression 0\", \"actual\": [\"nested-mut-invariance\"], \"expected\": [\"nested-mut-invariance\"], \"passed\": true}, {\"check\": \"nested-mut-invariance regression 1\", \"actual\": [\"nested-mut-invariance\"], \"expected\": [\"nested-mut-invariance\"], \"passed\": true}, {\"check\": \"outer-shared-shortening regression 0\", \"actual\": [\"outer-shared-shortening\"], \"expected\": [\"outer-shared-shortening\"], \"passed\": true}, {\"check\": \"outer-shared-shortening regression 1\", \"actual\": [\"outer-shared-shortening\"], \"expected\": [\"outer-shared-shortening\"], \"passed\": true}, {\"check\": \"deref-intermediates regression 0\", \"actual\": [\"deref-intermediates\"], \"expected\": [\"deref-intermediates\"], \"passed\": true}, {\"check\": \"deref-intermediates regression 1\", \"actual\": [\"deref-intermediates\"], \"expected\": [\"deref-intermediates\"], \"passed\": true}, {\"check\": \"implicit-moving-deref regression 0\", \"actual\": [\"implicit-moving-deref\"], \"expected\": [\"implicit-moving-deref\"], \"passed\": true}, {\"check\": \"implicit-moving-deref regression 1\", \"actual\": [\"implicit-moving-deref\"], \"expected\": [\"implicit-moving-deref\"], \"passed\": true}, {\"check\": \"function-reification-capture regression 0\", \"actual\": [\"function-reification-capture\"], \"expected\": [\"function-reification-capture\"], \"passed\": true}, {\"check\": \"function-reification-capture regression 1\", \"actual\": [\"function-reification-capture\"], \"expected\": [\"function-reification-capture\"], \"passed\": true}, {\"check\": \"never-no-origin regression 0\", \"actual\": [], \"expected\": [\"never-no-origin\"], \"passed\": false}, {\"check\": \"never-no-origin regression 1\", \"actual\": [], \"expected\": [\"never-no-origin\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.458,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["freeze-direction"],"check":"freeze-direction regression 0","expected":["freeze-direction"],"passed":true},{"actual":["freeze-direction"],"check":"freeze-direction regression 1","expected":["freeze-direction"],"passed":true},{"actual":["unsize-owner"],"check":"unsize-owner regression 0","expected":["unsize-owner"],"passed":true},{"actual":["unsize-owner"],"check":"unsize-owner regression 1","expected":["unsize-owner"],"passed":true},{"actual":["unsize-metadata"],"check":"unsize-metadata regression 0","expected":["unsize-metadata"],"passed":true},{"actual":["unsize-metadata"],"check":"unsize-metadata regression 1","expected":["unsize-metadata"],"passed":true},{"actual":["array-slice-extent"],"check":"array-slice-extent regression 0","expected":["array-slice-extent"],"passed":true},{"actual":["array-slice-extent"],"check":"array-slice-extent regression 1","expected":["array-slice-extent"],"passed":true},{"actual":["nested-mut-invariance"],"check":"nested-mut-invariance regression 0","expected":["nested-mut-invariance"],"passed":true},{"actual":["nested-mut-invariance"],"check":"nested-mut-invariance regression 1","expected":["nested-mut-invariance"],"passed":true},{"actual":["outer-shared-shortening"],"check":"outer-shared-shortening regression 0","expected":["outer-shared-shortening"],"passed":true},{"actual":["outer-shared-shortening"],"check":"outer-shared-shortening regression 1","expected":["outer-shared-shortening"],"passed":true},{"actual":["deref-intermediates"],"check":"deref-intermediates regression 0","expected":["deref-intermediates"],"passed":true},{"actual":["deref-intermediates"],"check":"deref-intermediates regression 1","expected":["deref-intermediates"],"passed":true},{"actual":["implicit-moving-deref"],"check":"implicit-moving-deref regression 0","expected":["implicit-moving-deref"],"passed":true},{"actual":["implicit-moving-deref"],"check":"implicit-moving-deref regression 1","expected":["implicit-moving-deref"],"passed":true},{"actual":["function-reification-capture"],"check":"function-reification-capture regression 0","expected":["function-reification-capture"],"passed":true},{"actual":["function-reification-capture"],"check":"function-reification-capture regression 1","expected":["function-reification-capture"],"passed":true},{"actual":[],"check":"never-no-origin regression 0","expected":["never-no-origin"],"passed":false},{"actual":[],"check":"never-no-origin regression 1","expected":["never-no-origin"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"freeze-direction regression 0\", \"actual\": [\"freeze-direction\"], \"expected\": [\"freeze-direction\"], \"passed\": true}, {\"check\": \"freeze-direction regression 1\", \"actual\": [\"freeze-direction\"], \"expected\": [\"freeze-direction\"], \"passed\": true}, {\"check\": \"unsize-owner regression 0\", \"actual\": [\"unsize-owner\"], \"expected\": [\"unsize-owner\"], \"passed\": true}, {\"check\": \"unsize-owner regression 1\", \"actual\": [\"unsize-owner\"], \"expected\": [\"unsize-owner\"], \"passed\": true}, {\"check\": \"unsize-metadata regression 0\", \"actual\": [\"unsize-metadata\"], \"expected\": [\"unsize-metadata\"], \"passed\": true}, {\"check\": \"unsize-metadata regression 1\", \"actual\": [\"unsize-metadata\"], \"expected\": [\"unsize-metadata\"], \"passed\": true}, {\"check\": \"array-slice-extent regression 0\", \"actual\": [\"array-slice-extent\"], \"expected\": [\"array-slice-extent\"], \"passed\": true}, {\"check\": \"array-slice-extent regression 1\", \"actual\": [\"array-slice-extent\"], \"expected\": [\"array-slice-extent\"], \"passed\": true}, {\"check\": \"nested-mut-invariance regression 0\", \"actual\": [\"nested-mut-invariance\"], \"expected\": [\"nested-mut-invariance\"], \"passed\": true}, {\"check\": \"nested-mut-invariance regression 1\", \"actual\": [\"nested-mut-invariance\"], \"expected\": [\"nested-mut-invariance\"], \"passed\": true}, {\"check\": \"outer-shared-shortening regression 0\", \"actual\": [\"outer-shared-shortening\"], \"expected\": [\"outer-shared-shortening\"], \"passed\": true}, {\"check\": \"outer-shared-shortening regression 1\", \"actual\": [\"outer-shared-shortening\"], \"expected\": [\"outer-shared-shortening\"], \"passed\": true}, {\"check\": \"deref-intermediates regression 0\", \"actual\": [\"deref-intermediates\"], \"expected\": [\"deref-intermediates\"], \"passed\": true}, {\"check\": \"deref-intermediates regression 1\", \"actual\": [\"deref-intermediates\"], \"expected\": [\"deref-intermediates\"], \"passed\": true}, {\"check\": \"implicit-moving-deref regression 0\", \"actual\": [\"implicit-moving-deref\"], \"expected\": [\"implicit-moving-deref\"], \"passed\": true}, {\"check\": \"implicit-moving-deref regression 1\", \"actual\": [\"implicit-moving-deref\"], \"expected\": [\"implicit-moving-deref\"], \"passed\": true}, {\"check\": \"function-reification-capture regression 0\", \"actual\": [\"function-reification-capture\"], \"expected\": [\"function-reification-capture\"], \"passed\": true}, {\"check\": \"function-reification-capture regression 1\", \"actual\": [\"function-reification-capture\"], \"expected\": [\"function-reification-capture\"], \"passed\": true}, {\"check\": \"never-no-origin regression 0\", \"actual\": [], \"expected\": [\"never-no-origin\"], \"passed\": false}, {\"check\": \"never-no-origin regression 1\", \"actual\": [], \"expected\": [\"never-no-origin\"], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.685,"exit_code":0,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["freeze-direction"],"check":"freeze-direction regression 0","expected":["freeze-direction"],"passed":true},{"actual":["freeze-direction"],"check":"freeze-direction regression 1","expected":["freeze-direction"],"passed":true},{"actual":["unsize-owner"],"check":"unsize-owner regression 0","expected":["unsize-owner"],"passed":true},{"actual":["unsize-owner"],"check":"unsize-owner regression 1","expected":["unsize-owner"],"passed":true},{"actual":["unsize-metadata"],"check":"unsize-metadata regression 0","expected":["unsize-metadata"],"passed":true},{"actual":["unsize-metadata"],"check":"unsize-metadata regression 1","expected":["unsize-metadata"],"passed":true},{"actual":["array-slice-extent"],"check":"array-slice-extent regression 0","expected":["array-slice-extent"],"passed":true},{"actual":["array-slice-extent"],"check":"array-slice-extent regression 1","expected":["array-slice-extent"],"passed":true},{"actual":["nested-mut-invariance"],"check":"nested-mut-invariance regression 0","expected":["nested-mut-invariance"],"passed":true},{"actual":["nested-mut-invariance"],"check":"nested-mut-invariance regression 1","expected":["nested-mut-invariance"],"passed":true},{"actual":["outer-shared-shortening"],"check":"outer-shared-shortening regression 0","expected":["outer-shared-shortening"],"passed":true},{"actual":["outer-shared-shortening"],"check":"outer-shared-shortening regression 1","expected":["outer-shared-shortening"],"passed":true},{"actual":["deref-intermediates"],"check":"deref-intermediates regression 0","expected":["deref-intermediates"],"passed":true},{"actual":["deref-intermediates"],"check":"deref-intermediates regression 1","expected":["deref-intermediates"],"passed":true},{"actual":["implicit-moving-deref"],"check":"implicit-moving-deref regression 0","expected":["implicit-moving-deref"],"passed":true},{"actual":["implicit-moving-deref"],"check":"implicit-moving-deref regression 1","expected":["implicit-moving-deref"],"passed":true},{"actual":["function-reification-capture"],"check":"function-reification-capture regression 0","expected":["function-reification-capture"],"passed":true},{"actual":["function-reification-capture"],"check":"function-reification-capture regression 1","expected":["function-reification-capture"],"passed":true},{"actual":["never-no-origin"],"check":"never-no-origin regression 0","expected":["never-no-origin"],"passed":true},{"actual":["never-no-origin"],"check":"never-no-origin regression 1","expected":["never-no-origin"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"freeze-direction regression 0\", \"actual\": [\"freeze-direction\"], \"expected\": [\"freeze-direction\"], \"passed\": true}, {\"check\": \"freeze-direction regression 1\", \"actual\": [\"freeze-direction\"], \"expected\": [\"freeze-direction\"], \"passed\": true}, {\"check\": \"unsize-owner regression 0\", \"actual\": [\"unsize-owner\"], \"expected\": [\"unsize-owner\"], \"passed\": true}, {\"check\": \"unsize-owner regression 1\", \"actual\": [\"unsize-owner\"], \"expected\": [\"unsize-owner\"], \"passed\": true}, {\"check\": \"unsize-metadata regression 0\", \"actual\": [\"unsize-metadata\"], \"expected\": [\"unsize-metadata\"], \"passed\": true}, {\"check\": \"unsize-metadata regression 1\", \"actual\": [\"unsize-metadata\"], \"expected\": [\"unsize-metadata\"], \"passed\": true}, {\"check\": \"array-slice-extent regression 0\", \"actual\": [\"array-slice-extent\"], \"expected\": [\"array-slice-extent\"], \"passed\": true}, {\"check\": \"array-slice-extent regression 1\", \"actual\": [\"array-slice-extent\"], \"expected\": [\"array-slice-extent\"], \"passed\": true}, {\"check\": \"nested-mut-invariance regression 0\", \"actual\": [\"nested-mut-invariance\"], \"expected\": [\"nested-mut-invariance\"], \"passed\": true}, {\"check\": \"nested-mut-invariance regression 1\", \"actual\": [\"nested-mut-invariance\"], \"expected\": [\"nested-mut-invariance\"], \"passed\": true}, {\"check\": \"outer-shared-shortening regression 0\", \"actual\": [\"outer-shared-shortening\"], \"expected\": [\"outer-shared-shortening\"], \"passed\": true}, {\"check\": \"outer-shared-shortening regression 1\", \"actual\": [\"outer-shared-shortening\"], \"expected\": [\"outer-shared-shortening\"], \"passed\": true}, {\"check\": \"deref-intermediates regression 0\", \"actual\": [\"deref-intermediates\"], \"expected\": [\"deref-intermediates\"], \"passed\": true}, {\"check\": \"deref-intermediates regression 1\", \"actual\": [\"deref-intermediates\"], \"expected\": [\"deref-intermediates\"], \"passed\": true}, {\"check\": \"implicit-moving-deref regression 0\", \"actual\": [\"implicit-moving-deref\"], \"expected\": [\"implicit-moving-deref\"], \"passed\": true}, {\"check\": \"implicit-moving-deref regression 1\", \"actual\": [\"implicit-moving-deref\"], \"expected\": [\"implicit-moving-deref\"], \"passed\": true}, {\"check\": \"function-reification-capture regression 0\", \"actual\": [\"function-reification-capture\"], \"expected\": [\"function-reification-capture\"], \"passed\": true}, {\"check\": \"function-reification-capture regression 1\", \"actual\": [\"function-reification-capture\"], \"expected\": [\"function-reification-capture\"], \"passed\": true}, {\"check\": \"never-no-origin regression 0\", \"actual\": [\"never-no-origin\"], \"expected\": [\"never-no-origin\"], \"passed\": true}, {\"check\": \"never-no-origin regression 1\", \"actual\": [\"never-no-origin\"], \"expected\": [\"never-no-origin\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}