fn intrinsic_assert_panics<'tcx>( tcx: TyCtxt<'tcx>, typing_env: TypingEnv<'tcx>, arg: GenericArg<'tcx>, intrinsic_name: Symbol, ) -> Option<bool>