Type parameters bounds should be lazy, not to go into cyclic type inference #SCL-7216 Fixed