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