Function verify_p2wpkh_in_p2sh_inline 

pub fn verify_p2wpkh_in_p2sh_inline(
    script_sig: &[u8],
    witness: &Vec<Vec<u8>>,
    script_pubkey: &[u8],
    flags: u32,
    tx: &Transaction,
    input_index: usize,
    prevout_value: i64,
    height: u64,
    network: Network,
    precomputed_bip143: Option<&Bip143PrecomputedHashes>,
    ecdsa_collect: Option<(&EcdsaSignatureCollector, usize)>,
) -> Result<bool, ConsensusError>

P2WPKH-in-P2SH inline verify (BIP143). Caller must gate scriptPubKey / scriptSig / witness shape.