View Revisions: Note 122474

Summary 0034972: usage of default-intrinsic does not trigger range checks