MCPcopy Create free account
hub / github.com/bea4dev/catla / check

Method check

src/catla_type/src/types.rs:540–891  ·  view source on GitHub ↗
(
        &self,
        user_type_set: &GlobalUserTypeSet,
        global_implements_infos: &ImplementsInfoSet,
        errors: &mut Vec<TypeError>,
    )

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 2

infer_type_testFunction · 0.45
compile_moduleMethod · 0.45

Calls 10

with_spanMethod · 0.80
moduledMethod · 0.80
replace_genericsMethod · 0.80
test_unify_typeMethod · 0.80
to_display_stringMethod · 0.80
is_implementsMethod · 0.80
cloneMethod · 0.45
getMethod · 0.45
mapMethod · 0.45

Tested by 1

infer_type_testFunction · 0.36