Update trait constraints