This branch is only triggered when `self_type.ty` is a typedef, right? Could the comment be updated to include this information?