Self_typing contract pass: should be a warning?

when a contract originated another contract, it is possible that self typing contract pass is triggered (throwing an error) ...

In that case it makes impossible to originate a contract using Tezos.self.. which is really bad. Maybe throwing a warning is enough ?

example:

type st = address option

let main_bis ( ((),_) : unit*st ) : operation list * st = [] , Some (Tezos.self "%default" : unit contract)

let main ( (_,_) : (string * nat) * address ) : operation list * address =
  let op,addr = Tezos.create_contract main_bis (None: key_hash option) 1mutez (None: st) in
  [op], addr