Create a new channel as a copy of main.
Rename main to:
Delete main? This cannot be undone.
; RUN: opt < %s -verify -S | grep noimplicitfloat declare void @f() noimplicitfloat