permissions_set_readonly_false
: Check HIR tree first.
This commit is contained in:
parent
15eac5abd6
commit
e12ff630fd
@ -31,10 +31,10 @@ declare_lint_pass!(PermissionsSetReadonlyFalse => [PERMISSIONS_SET_READONLY_FALS
|
|||||||
impl<'tcx> LateLintPass<'tcx> for PermissionsSetReadonlyFalse {
|
impl<'tcx> LateLintPass<'tcx> for PermissionsSetReadonlyFalse {
|
||||||
fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx Expr<'tcx>) {
|
fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx Expr<'tcx>) {
|
||||||
if let ExprKind::MethodCall(path, receiver, [arg], _) = &expr.kind
|
if let ExprKind::MethodCall(path, receiver, [arg], _) = &expr.kind
|
||||||
&& is_type_diagnostic_item(cx, cx.typeck_results().expr_ty(receiver), sym::FsPermissions)
|
|
||||||
&& path.ident.name == sym!(set_readonly)
|
|
||||||
&& let ExprKind::Lit(lit) = &arg.kind
|
&& let ExprKind::Lit(lit) = &arg.kind
|
||||||
&& LitKind::Bool(false) == lit.node
|
&& LitKind::Bool(false) == lit.node
|
||||||
|
&& path.ident.name.as_str() == "set_readonly"
|
||||||
|
&& is_type_diagnostic_item(cx, cx.typeck_results().expr_ty(receiver), sym::FsPermissions)
|
||||||
{
|
{
|
||||||
span_lint_and_then(
|
span_lint_and_then(
|
||||||
cx,
|
cx,
|
||||||
|
Loading…
x
Reference in New Issue
Block a user