Lines Matching defs:Check
12 pub(crate) struct Check<'a> { struct
19 do_typecheck(&mut Check { in typecheck() argument
26 fn do_typecheck(cx: &mut Check) { in do_typecheck()
60 impl Check<'_> { implementation
66 fn check_type_ident(cx: &mut Check, name: &NamedType) { in check_type_ident()
79 fn check_type_box(cx: &mut Check, ptr: &Ty1) { in check_type_box()
97 fn check_type_rust_vec(cx: &mut Check, ty: &Ty1) { in check_type_rust_vec()
124 fn check_type_unique_ptr(cx: &mut Check, ptr: &Ty1) { in check_type_unique_ptr()
142 fn check_type_shared_ptr(cx: &mut Check, ptr: &Ty1) { in check_type_shared_ptr()
163 fn check_type_weak_ptr(cx: &mut Check, ptr: &Ty1) { in check_type_weak_ptr()
184 fn check_type_cxx_vector(cx: &mut Check, ptr: &Ty1) { in check_type_cxx_vector()
206 fn check_type_ref(cx: &mut Check, ty: &Ref) { in check_type_ref()
237 fn check_type_ptr(cx: &mut Check, ty: &Ptr) { in check_type_ptr()
250 fn check_type_slice_ref(cx: &mut Check, ty: &SliceRef) { in check_type_slice_ref()
269 fn check_type_array(cx: &mut Check, ty: &Array) { in check_type_array()
277 fn check_type_fn(cx: &mut Check, ty: &Signature) { in check_type_fn()
294 fn check_api_struct(cx: &mut Check, strct: &Struct) { in check_api_struct()
331 fn check_api_enum(cx: &mut Check, enm: &Enum) { in check_api_enum()
350 fn check_api_type(cx: &mut Check, ety: &ExternType) { in check_api_type()
383 fn check_api_fn(cx: &mut Check, efn: &ExternFn) { in check_api_fn()
474 fn check_api_type_alias(cx: &mut Check, alias: &TypeAlias) { in check_api_type_alias()
481 fn check_api_impl(cx: &mut Check, imp: &Impl) { in check_api_impl()
509 fn check_mut_return_restriction(cx: &mut Check, efn: &ExternFn) { in check_mut_return_restriction()
572 fn check_reserved_name(cx: &mut Check, ident: &Ident) { in check_reserved_name()
586 fn is_unsized(cx: &mut Check, ty: &Type) -> bool { in is_unsized()
606 fn is_opaque_cxx(cx: &mut Check, ty: &Ident) -> bool { in is_opaque_cxx()
647 fn describe(cx: &mut Check, ty: &Type) -> String { in describe()