Fully qualified path: core::felt252Copy
core::felt252Copy
impl felt252Copy of core::traits::Copy<felt252>;