¹There are two minor exceptions to this statement. First, default declarations scope over a single module (Section 4.3.4 ). Second, Rule 2 of the monomorphism restriction (Section 4.5.5 ) is affected by module boundaries.