bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Use pattern matching instead of checking lengths explicitly

Browse source 
This piece of code checks that there are exaclty two variants, one having
exactly one field, the other having exactly zero fields. If any of these
conditions is violated, it returns `None`. Otherwise it assigns that one
field's ty to `field_ty`.

Instead of fiddling with indices and length checks explicitly, use pattern
matching to simplify this.
This commit is contained in:
LingMan 2021-06-01 18:09:29 +02:00
parent 1160cf864f
commit e2b22b56b8
1 changed files with 7 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

26
compiler/rustc_lint/src/types.rs
View file

@ -5,7 +5,6 @@ use rustc_data_structures::fx::FxHashSet;
use rustc_errors::Applicability; use rustc_errors::Applicability;
use rustc_hir as hir; use rustc_hir as hir;
use rustc_hir::{is_range_literal, ExprKind, Node}; use rustc_hir::{is_range_literal, ExprKind, Node};
use rustc_index::vec::Idx;
use rustc_middle::ty::layout::{IntegerExt, SizeSkeleton}; use rustc_middle::ty::layout::{IntegerExt, SizeSkeleton};
use rustc_middle::ty::subst::SubstsRef; use rustc_middle::ty::subst::SubstsRef;
use rustc_middle::ty::{self, AdtKind, Ty, TyCtxt, TypeFoldable}; use rustc_middle::ty::{self, AdtKind, Ty, TyCtxt, TypeFoldable};
@ -13,7 +12,7 @@ use rustc_span::source_map;
use rustc_span::symbol::sym; use rustc_span::symbol::sym;
use rustc_span::{Span, DUMMY_SP}; use rustc_span::{Span, DUMMY_SP};
use rustc_target::abi::Abi; use rustc_target::abi::Abi;
use rustc_target::abi::{Integer, LayoutOf, TagEncoding, VariantIdx, Variants}; use rustc_target::abi::{Integer, LayoutOf, TagEncoding, Variants};
use rustc_target::spec::abi::Abi as SpecAbi; use rustc_target::spec::abi::Abi as SpecAbi;
use std::cmp; use std::cmp;
@ -783,25 +782,14 @@ crate fn repr_nullable_ptr<'tcx>(
) -> Option<Ty<'tcx>> { ) -> Option<Ty<'tcx>> {
debug!("is_repr_nullable_ptr(cx, ty = {:?})", ty); debug!("is_repr_nullable_ptr(cx, ty = {:?})", ty);
if let ty::Adt(ty_def, substs) = ty.kind() { if let ty::Adt(ty_def, substs) = ty.kind() {
if ty_def.variants.len() != 2 { let field_ty = match &ty_def.variants.raw[..] {
return None; [var_one, var_two] => match (&var_one.fields[..], &var_two.fields[..]) {
} ([], [field]) | ([field], []) => field.ty(cx.tcx, substs),
_ => return None,
let get_variant_fields = |index| &ty_def.variants[VariantIdx::new(index)].fields; },
let variant_fields = [get_variant_fields(0), get_variant_fields(1)]; _ => return None,
let fields = if variant_fields[0].is_empty() {
&variant_fields[1]
} else if variant_fields[1].is_empty() {
&variant_fields[0]
} else {
return None;
}; };
if fields.len() != 1 {
return None;
}
let field_ty = fields[0].ty(cx.tcx, substs);
if !ty_is_known_nonnull(cx, field_ty, ckind) { if !ty_is_known_nonnull(cx, field_ty, ckind) {
return None; return None;
} }