Skip to main content

is_unimplemented_sealed_core_trait

bock_codegen::generator

Function is_unimplemented_sealed_core_trait 

Source 
pub fn is_unimplemented_sealed_core_trait(
    trait_name: &str,
    trait_decls: &TraitDeclRegistry,
) -> bool
Expand description

True when trait_name is a compiler-provided sealed core trait (bock_types::traits::SEALED_CORE_TRAITS) that is NOT declared as a user trait in trait_decls. Such a bound is the primitive conformance and must be lowered to the target’s built-in (native ==/comparison/stringification and the built-in ordered/equality constraint) rather than referenced as a real trait/interface, which does not exist in any target. Shared by the generic-bound renderers and the method-call bridge so the two stay in lockstep.