File src/Rules/NonIgnorableRuleError.php

1:	<?php declare(strict_types = 1);
2:
3:	namespace PHPStan\Rules;
4:
5:	/**
6:	* @api
7:	* @api-do-not-implement
8:	*/
9:	interface NonIgnorableRuleError extends RuleError
10:	{
11:
12:	}
13: