Function check_view_alias 

fn check_view_alias<'ctx, 'tcx>(
    vm_state: &VmState<'ctx, 'tcx>,
    checkpoint: &Checkpoint<'tcx>,
    _callee_name: String,
    kind: HazardKind,
) -> VmAliasResult