Home
last modified time | relevance | path

Searched refs:with_impl (Results 1 – 8 of 8) sorted by relevance

/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_trait_selection/src/traits/specialize/
H A Dmod.rs34 pub with_impl: DefId, field
307 let other_polarity = tcx.impl_polarity(overlap.with_impl); in report_overlap_conflict()
315 overlap.with_impl, in report_overlap_conflict()
325 overlap.with_impl, in report_overlap_conflict()
414 match tcx.span_of_impl(overlap.with_impl) { in report_conflicting_impls()
430 let msg = match to_pretty_impl_header(tcx, overlap.with_impl) { in report_conflicting_impls()
451 if overlap.with_impl.is_local() || !tcx.orphan_check_crate(()).contains(&impl_def_id) { in report_conflicting_impls()
H A Dspecialization_graph.rs109 with_impl: possible_sibling, in insert()
/dports/lang/ocaml/ocaml-4.05.0/tools/
H A Docamlcp.ml28 let with_impl = ref false;; var
64 let _impl s = with_impl := true; option_with_arg "-impl" s
151 if !with_impl && !with_intf then begin
155 end else if !with_impl && !with_mli then begin
164 if !with_impl then profargs := "-impl" :: !profargs;
H A Docamloptp.ml34 let with_impl = ref false;; var
69 let _impl s = with_impl := true; option_with_arg "-impl" s
198 if !with_impl && !with_intf then begin
202 end else if !with_impl && !with_mli then begin
211 if !with_impl then profargs := "-impl" :: !profargs;
/dports/lang/ocaml-nox11/ocaml-4.05.0/tools/
H A Docamlcp.ml28 let with_impl = ref false;; var
64 let _impl s = with_impl := true; option_with_arg "-impl" s
151 if !with_impl && !with_intf then begin
155 end else if !with_impl && !with_mli then begin
164 if !with_impl then profargs := "-impl" :: !profargs;
H A Docamloptp.ml34 let with_impl = ref false;; var
69 let _impl s = with_impl := true; option_with_arg "-impl" s
198 if !with_impl && !with_intf then begin
202 end else if !with_impl && !with_mli then begin
211 if !with_impl then profargs := "-impl" :: !profargs;
/dports/cad/librepcb/librepcb-0.1.6/libs/type_safe/include/type_safe/
H A Dtagged_union.hpp275 with_impl(typename std::decay<Union>::type::types{}, std::forward<Union>(u), in with()
293 static void with_impl(union_types<>, Union&&, Func&&, Args&&...) {} in with_impl() function in type_safe::detail::with_union
296 static void with_impl(union_types<Head, Tail...>, Union&& u, Func&& func, Args&&... args) in with_impl() function in type_safe::detail::with_union
302 with_impl(union_types<Tail...>{}, std::forward<Union>(u), std::forward<Func>(func), in with_impl()
/dports/sysutils/lnav/lnav-0.10.1/src/
H A Dhelp_text.hh194 help_text &with_impl(F impl) { in with_impl() function