Function resolve_u64_from_place_key 

fn resolve_u64_from_place_key<'ctx, 'tcx>(
    pk: &Option<PlaceKey>,
    state: &VmState<'ctx, 'tcx>,
) -> Option<u64>

Try to resolve a u64 constant from a PlaceKey’s source in the VM state.