pub fn hash_result<R>(
    hcx: &mut StableHashingContext<'_>,
    result: &R
) -> Fingerprint where
    R: for<'a> HashStable<StableHashingContext<'a>>,