Fixed #5261 (AST: cast not handled well (a::b&)x)