Guaranteeing an outline matches a preexisting type of