Update impl bound check