check macro in HitEqInterExpr

This commit is contained in:
kyoto7250 2022-06-20 11:14:52 +09:00
parent 46d056e2eb
commit 39ffda014d

View File

@ -66,9 +66,7 @@ pub fn inter_expr(&mut self) -> HirEqInterExpr<'_, 'a, 'tcx> {
} }
pub fn eq_block(&mut self, left: &Block<'_>, right: &Block<'_>) -> bool { pub fn eq_block(&mut self, left: &Block<'_>, right: &Block<'_>) -> bool {
!self.cannot_be_compared_block(left) self.inter_expr().eq_block(left, right)
&& !self.cannot_be_compared_block(right)
&& self.inter_expr().eq_block(left, right)
} }
pub fn eq_expr(&mut self, left: &Expr<'_>, right: &Expr<'_>) -> bool { pub fn eq_expr(&mut self, left: &Expr<'_>, right: &Expr<'_>) -> bool {
@ -86,38 +84,6 @@ pub fn eq_path_segment(&mut self, left: &PathSegment<'_>, right: &PathSegment<'_
pub fn eq_path_segments(&mut self, left: &[PathSegment<'_>], right: &[PathSegment<'_>]) -> bool { pub fn eq_path_segments(&mut self, left: &[PathSegment<'_>], right: &[PathSegment<'_>]) -> bool {
self.inter_expr().eq_path_segments(left, right) self.inter_expr().eq_path_segments(left, right)
} }
fn cannot_be_compared_block(&mut self, block: &Block<'_>) -> bool {
if block.stmts.last().map_or(false, |stmt| {
matches!(
stmt.kind,
StmtKind::Semi(semi_expr) if self.should_ignore(semi_expr)
)
}) {
return true;
}
if let Some(block_expr) = block.expr
&& self.should_ignore(block_expr)
{
return true
}
false
}
fn should_ignore(&mut self, expr: &Expr<'_>) -> bool {
if macro_backtrace(expr.span).last().map_or(false, |macro_call| {
matches!(
&self.cx.tcx.get_diagnostic_name(macro_call.def_id),
Some(sym::todo_macro | sym::unimplemented_macro)
)
}) {
return true;
}
false
}
} }
pub struct HirEqInterExpr<'a, 'b, 'tcx> { pub struct HirEqInterExpr<'a, 'b, 'tcx> {
@ -156,6 +122,9 @@ pub fn eq_stmt(&mut self, left: &Stmt<'_>, right: &Stmt<'_>) -> bool {
/// Checks whether two blocks are the same. /// Checks whether two blocks are the same.
fn eq_block(&mut self, left: &Block<'_>, right: &Block<'_>) -> bool { fn eq_block(&mut self, left: &Block<'_>, right: &Block<'_>) -> bool {
if self.cannot_be_compared_block(left) || self.cannot_be_compared_block(right) {
return false;
}
match (left.stmts, left.expr, right.stmts, right.expr) { match (left.stmts, left.expr, right.stmts, right.expr) {
([], None, [], None) => { ([], None, [], None) => {
// For empty blocks, check to see if the tokens are equal. This will catch the case where a macro // For empty blocks, check to see if the tokens are equal. This will catch the case where a macro
@ -206,6 +175,38 @@ fn eq_block(&mut self, left: &Block<'_>, right: &Block<'_>) -> bool {
} }
} }
fn cannot_be_compared_block(&mut self, block: &Block<'_>) -> bool {
if block.stmts.last().map_or(false, |stmt| {
matches!(
stmt.kind,
StmtKind::Semi(semi_expr) if self.should_ignore(semi_expr)
)
}) {
return true;
}
if let Some(block_expr) = block.expr
&& self.should_ignore(block_expr)
{
return true
}
false
}
fn should_ignore(&mut self, expr: &Expr<'_>) -> bool {
if macro_backtrace(expr.span).last().map_or(false, |macro_call| {
matches!(
&self.inner.cx.tcx.get_diagnostic_name(macro_call.def_id),
Some(sym::todo_macro | sym::unimplemented_macro)
)
}) {
return true;
}
false
}
pub fn eq_array_length(&mut self, left: ArrayLen, right: ArrayLen) -> bool { pub fn eq_array_length(&mut self, left: ArrayLen, right: ArrayLen) -> bool {
match (left, right) { match (left, right) {
(ArrayLen::Infer(..), ArrayLen::Infer(..)) => true, (ArrayLen::Infer(..), ArrayLen::Infer(..)) => true,