fn ty_is_known_nonnull<'tcx>( tcx: TyCtxt<'tcx>, param_env: ParamEnv<'tcx>, ty: Ty<'tcx>, mode: CItemKind, ) -> bool
Is type known to be non-null?