tidy: ignore filelength

This commit is contained in:
akida31 2022-11-27 20:58:01 +01:00
parent f780faa8c4
commit 757396f5fe
No known key found for this signature in database
GPG Key ID: 02E1AF2C3D9FB7C9

View File

@ -1,4 +1,5 @@
// ignore-tidy-filelength // ignore-tidy-filelength
use super::{DefIdOrName, Obligation, ObligationCause, ObligationCauseCode, PredicateObligation}; use super::{DefIdOrName, Obligation, ObligationCause, ObligationCauseCode, PredicateObligation};
use crate::autoderef::Autoderef; use crate::autoderef::Autoderef;