// MIR for `unchecked_shr_signed_smaller` after PreCodegen

fn unchecked_shr_signed_smaller(_1: i16, _2: u32) -> i16 {
    debug a => _1;
    debug b => _2;
    let mut _0: i16;
    scope 1 (inlined core::num::<impl i16>::unchecked_shr) {
        debug self => _1;
        debug rhs => _2;
        let mut _3: bool;
        let mut _4: i16;
        scope 2 {
        }
    }

    bb0: {
        StorageLive(_4);
        StorageLive(_3);
        _3 = Le(_2, const 32767_u32);
        assume(move _3);
        StorageDead(_3);
        _4 = _2 as i16 (IntToInt);
        _0 = ShrUnchecked(_1, move _4);
        StorageDead(_4);
        return;
    }
}