Make upcasting CF collections require 'static generics

This is required for soundness (though non-static generics in CF types
are gonna be exceedingly rare).