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