Ownership control for BitwiseCopyable types

[jcavar (Josip Cavar)]

In this thread @Andrew_Trick mentioned the following:

@Andrew_Trick

BitwiseCopyable values have neither ownership nor lifetimes. The compiler is free to create temporary copies as needed and keep those temporary copies around as long as it likes--it has no observable effect on the program

I am wondering if this code makes sense then and if it should be allowed:

func borrowMe(x: borrowing Int) {
    // ...
}

Additionally, isn't it desirable to provide ownership controls for large value types that are BitwiseCopyable?