// ignore-test

// Companion to allow-in-other-module.rs

// This should not warn.
#![allow(not_a_real_lint)]

// This should not warn, either.
#[allow(not_a_real_lint)]
fn m() {}