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