size inference update