The nomicon is considering both types with generic type arguments such as Foo<T> as well as types with generic lifetime arguments such as Foo<'a> as a “generic types” with “generic arguments”.
Sorry for any confusion from my previous comment, I hadn’t looked into the context of your quotation from the nomicon until now.
There’s often multiple ways to explain the same issue around borrow checking and related checks in the compiler. Either by trying to describe the exact rules it follows, or by pointing out practical considerations of what kind of UB-causing scenarios are being prevented. I followed the latter approach, whilst thinking about the effects of generic type- or lifetime-arguments in Drop impls follows the former approach.
So after this reconsideration, I can answer this part
with a clear yes 