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<'_> { implementation
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()
141 fn check_type_unique_ptr(cx: &mut Check, ptr: &Ty1) { in check_type_unique_ptr()
159 fn check_type_shared_ptr(cx: &mut Check, ptr: &Ty1) { in check_type_shared_ptr()
182 fn check_type_weak_ptr(cx: &mut Check, ptr: &Ty1) { in check_type_weak_ptr()
205 fn check_type_cxx_vector(cx: &mut Check, ptr: &Ty1) { in check_type_cxx_vector()
228 fn check_type_ref(cx: &mut Check, ty: &Ref) { in check_type_ref()
259 fn check_type_ptr(cx: &mut Check, ty: &Ptr) { in check_type_ptr()
272 fn check_type_slice_ref(cx: &mut Check, ty: &SliceRef) { in check_type_slice_ref()
293 fn check_type_array(cx: &mut Check, ty: &Array) { in check_type_array()
301 fn check_type_fn(cx: &mut Check, ty: &Signature) { in check_type_fn()
318 fn check_api_struct(cx: &mut Check, strct: &Struct) { in check_api_struct()
356 fn check_api_enum(cx: &mut Check, enm: &Enum) { in check_api_enum()
376 fn check_api_type(cx: &mut Check, ety: &ExternType) { in check_api_type()
410 fn check_api_fn(cx: &mut Check, efn: &ExternFn) { in check_api_fn()
503 fn check_api_type_alias(cx: &mut Check, alias: &TypeAlias) { in check_api_type_alias()
512 fn check_api_impl(cx: &mut Check, imp: &Impl) { in check_api_impl()
542 fn check_mut_return_restriction(cx: &mut Check, efn: &ExternFn) { in check_mut_return_restriction()
605 fn check_reserved_name(cx: &mut Check, ident: &Ident) { in check_reserved_name()
619 fn check_reserved_lifetime(cx: &mut Check, lifetime: &Lifetime) { in check_reserved_lifetime()
630 fn check_lifetimes(cx: &mut Check, generics: &Lifetimes) { in check_lifetimes()
636 fn check_generics(cx: &mut Check, generics: &Generics) { in check_generics()
644 fn is_unsized(cx: &mut Check, ty: &Type) -> bool { in is_unsized()
664 fn is_opaque_cxx(cx: &mut Check, ty: &Ident) -> bool { in is_opaque_cxx()
705 fn describe(cx: &mut Check, ty: &Type) -> String { in describe()