DisposableTypesShouldHaveFinalizer rule.