record the constructor of a class alias #1126