Report question

Question: When a compiler can infer a template parameter?