Type-checking is missing for some &attributes

Description

The appended script

doesn't generate any complaints about the non-sensical attributes; and the one attribute that does make sense, &default, doesn't work, this script generates an error complaining about a's value not being set.

Environment

None

Status

Assignee

Unassigned

Reporter

Vern Paxson

Labels

None

External issue ID

None

Components

Priority

Low
Configure