posmin and posmax return type in complex type situations