Function check_transmute 

fn check_transmute<'tcx>(
    tcx: TyCtxt<'tcx>,
    typing_env: TypingEnv<'tcx>,
    from: Ty<'tcx>,
    to: Ty<'tcx>,
    hir_id: HirId,
)