Function field_ty 

fn field_ty<'a>(
    db: &'a dyn HirDatabase,
    def: VariantId,
    fd: LocalFieldId,
    args: GenericArgs<'a>,
) -> Ty<'a>