Warn on duplicate defalias'

Description

Defining an alias with the different types should yield a warning.

This should say

1 2 3 (defalias F Any) (defalias F Int) ;; WARNING: Type alias user/F changed. Old: Any, New: Int

However, if the annotations are = after parse-type, then it should not give a warning.

1 2 3 (defalias G Int) (defalias G Int) ;; <No warning>

Environment

None

Status

Assignee

Ambrose BS

Reporter

Ambrose BS

Labels

Approval

None

Patch

None

Components

Fix versions

Priority

Minor
Configure