Function force_conv

pub(crate) fn force_conv(
    genv: GlobalEnv<'_, '_>,
    def_id: MaybeExternId,
) -> QueryResult