//@ test-mir-pass: CopyProp

#![feature(custom_mir, core_intrinsics)]
#![allow(internal_features)]

use std::intrinsics::mir::*;

#[custom_mir(dialect = "runtime")]
fn main() {
    mir! {
        // Both _3 and _5 are borrowed, check that we do not unify them, and that we do not
        // introduce a write to any of them.
        let _1;
        let _2;
        let _3;
        let _4;
        let _5;
        let _6;
        let _7;
        // CHECK: bb0: {
        {
            // CHECK-NEXT: _1 = &raw const _2;
            _1 = core::ptr::addr_of!(_2);
            // CHECK-NEXT: _3 = const 'b';
            _3 = 'b';
            // CHECK-NEXT: _5 = copy _3;
            _5 = _3;
            // CHECK-NEXT: _6 = &_3;
            _6 = &_3;
            _4 = _5;
            // CHECK-NEXT: (*_1) = copy (*_6);
            *_1 = *_6;
            // CHECK-NEXT: _6 = &_5;
            _6 = &_5;
            // CHECK-NEXT: _7 = dump_var::<char>(copy _5)
            Call(_7 = dump_var(_4), ReturnTo(bb1), UnwindUnreachable())
        }
        bb1 = { Return() }
    }
}

fn dump_var<T>(_: T) {}

// EMIT_MIR write_to_borrowed.main.CopyProp.diff