Lines Matching defs:Check
13 pub(crate) struct Check<'a> { struct
34 do_typecheck(&mut Check { in typecheck() argument
42 fn do_typecheck(cx: &mut Check) { in do_typecheck()
76 impl Check<'_> { impl
82 fn check_type_ident(cx: &mut Check, name: &NamedType) { in check_type_ident()
95 fn check_type_box(cx: &mut Check, ptr: &Ty1) { in check_type_box()
113 fn check_type_rust_vec(cx: &mut Check, ty: &Ty1) { in check_type_rust_vec()
139 fn check_type_unique_ptr(cx: &mut Check, ptr: &Ty1) { in check_type_unique_ptr()
157 fn check_type_shared_ptr(cx: &mut Check, ptr: &Ty1) { in check_type_shared_ptr()
178 fn check_type_weak_ptr(cx: &mut Check, ptr: &Ty1) { in check_type_weak_ptr()
199 fn check_type_cxx_vector(cx: &mut Check, ptr: &Ty1) { in check_type_cxx_vector()
221 fn check_type_ref(cx: &mut Check, ty: &Ref) { in check_type_ref()
252 fn check_type_ptr(cx: &mut Check, ty: &Ptr) { in check_type_ptr()
265 fn check_type_slice_ref(cx: &mut Check, ty: &SliceRef) { in check_type_slice_ref()
286 fn check_type_array(cx: &mut Check, ty: &Array) { in check_type_array()
294 fn check_type_fn(cx: &mut Check, ty: &Signature) { in check_type_fn()
311 fn check_api_struct(cx: &mut Check, strct: &Struct) { in check_api_struct()
349 fn check_api_enum(cx: &mut Check, enm: &Enum) { in check_api_enum()
369 fn check_api_type(cx: &mut Check, ety: &ExternType) { in check_api_type()
403 fn check_api_fn(cx: &mut Check, efn: &ExternFn) { in check_api_fn()
496 fn check_api_type_alias(cx: &mut Check, alias: &TypeAlias) { in check_api_type_alias()
505 fn check_api_impl(cx: &mut Check, imp: &Impl) { in check_api_impl()
535 fn check_mut_return_restriction(cx: &mut Check, efn: &ExternFn) { in check_mut_return_restriction()
598 fn check_reserved_name(cx: &mut Check, ident: &Ident) { in check_reserved_name()
612 fn check_reserved_lifetime(cx: &mut Check, lifetime: &Lifetime) { in check_reserved_lifetime()
623 fn check_lifetimes(cx: &mut Check, generics: &Lifetimes) { in check_lifetimes()
629 fn check_generics(cx: &mut Check, generics: &Generics) { in check_generics()
637 fn is_unsized(cx: &mut Check, ty: &Type) -> bool { in is_unsized()
657 fn is_opaque_cxx(cx: &mut Check, ty: &Ident) -> bool { in is_opaque_cxx()
698 fn describe(cx: &mut Check, ty: &Type) -> String { in describe()